Skip to Main content Skip to Navigation
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 metadatas

https://hal.inria.fr/inria-00323834
Contributor : Areces Carlos <>
Submitted on : Tuesday, September 23, 2008 - 12:26:39 PM
Last modification on : Thursday, May 24, 2018 - 10:54:03 AM

Identifiers

  • HAL Id : inria-00323834, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

235