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
Type de document :
Communication dans un congrès
15th Workshop on Logic, Language, Information and Computation - WoLLIC 2008, Jul 2008, Edinburgh, United Kingdom. 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00323834
Contributeur : Areces Carlos <>
Soumis le : mardi 23 septembre 2008 - 12:26:39
Dernière modification le : jeudi 11 janvier 2018 - 06:21:35

Identifiants

  • 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. 2008. 〈inria-00323834〉

Partager

Métriques

Consultations de la notice

175