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 <>
Submitted on : Monday, October 20, 2008 - 6:58:53 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

  • HAL Id : inria-00332399, version 1

Collections

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⟩

Share

Metrics

Record views

140