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)

• Domain : Computer Science/Logic in Computer Science

• inria-00332399, version 1
• http://hal.inria.fr/inria-00332399
• oai:hal.inria.fr:inria-00332399
• From: Areces Carlos <>
• Submitted on: Monday, 20 October 2008 18:58:53
• Updated on: Monday, 30 November 2009 11:27:52