Skip to Main content Skip to Navigation
Conference papers

Completeness results for memory logics

Carlos Areces 1 Sergio Mera Santiago Figueira 
1 TALARIS - Natural Language Processing: representation, inference and semantics
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00332399
Contributor : Areces Carlos Connect in order to contact the contributor
Submitted on : Monday, October 20, 2008 - 6:58:53 PM
Last modification on : Friday, February 4, 2022 - 3:30:28 AM

Identifiers

  • HAL Id : inria-00332399, version 1

Collections

CNRS | INRIA | UNIV-LORRAINE | INRIA2 | LORIA

Citation

Carlos Areces, Sergio Mera, Santiago Figueira. Completeness results for memory logics. Symposium on Logical Foundations of Computer Science - LFCS'09, Jan 2009, Deerfield Beach, Florida, USA, United States. pp.16--30. ⟨inria-00332399⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

34

 

Contact                    Legal Notice                    Personal Data