Axioms .2 and .4 as Interaction Axioms

Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01098774
Contributor : Guillaume Aucher <>
Submitted on : Monday, December 29, 2014 - 2:08:36 PM
Last modification on : Wednesday, May 16, 2018 - 11:23:29 AM

Identifiers

  • HAL Id : hal-01098774, version 1

Citation

Guillaume Aucher. Axioms .2 and .4 as Interaction Axioms. KR 2014, Jul 2014, Vienne, Austria. ⟨hal-01098774⟩

Share

Metrics

Record views

175