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
Type de document :
Communication dans un congrès
Symposium on Logical Foundations of Computer Science - LFCS'09, Jan 2009, Deerfield Beach, Florida, USA, United States. pp.16--30, 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00332399
Contributeur : Areces Carlos <>
Soumis le : lundi 20 octobre 2008 - 18:58:53
Dernière modification le : jeudi 11 janvier 2018 - 06:21:35

Identifiants

  • 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, 2009. 〈inria-00332399〉

Partager

Métriques

Consultations de la notice

104