Skip to Main content Skip to Navigation
New interface
Conference papers

Expressive Power and Decidability for Memory Logics

Carlos Areces 1 Diego Figueira Santiago Figueira Sergio Mera 
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
Contributor : Areces Carlos Connect in order to contact the contributor
Submitted on : Tuesday, September 23, 2008 - 12:26:39 PM
Last modification on : Friday, February 4, 2022 - 3:24:11 AM


  • HAL Id : inria-00323834, version 1



Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera. Expressive Power and Decidability for Memory Logics. 15th Workshop on Logic, Language, Information and Computation - WoLLIC 2008, Jul 2008, Edinburgh, United Kingdom. ⟨inria-00323834⟩



Record views