inria-00332399, version 1

Completeness results for memory logics

Carlos Areces () ¹, Sergio Mera, Santiago Figueira

Symposium on Logical Foundations of Computer Science - LFCS'09 (2009) 16--30

• 1 :  TALARIS (INRIA Nancy - Grand Est / LORIA)
• CNRS : UMR7503 – INRIA – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)

• Domaine : Informatique/Logique en informatique

• inria-00332399, version 1
• http://hal.inria.fr/inria-00332399
• oai:hal.inria.fr:inria-00332399
• Contributeur : Areces Carlos <>
• Soumis le : Lundi 20 Octobre 2008, 18:58:53
• Dernière modification le : Lundi 30 Novembre 2009, 11:27:52