inria-00519040, version 1

The Expressive Power of Memory Logics

Carlos Areces () ¹, Santiago Figueira, Sergio Mera ¹

Review of Symbolic Logic (2010)

• 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-00519040, version 1
• http://hal.inria.fr/inria-00519040
• oai:hal.inria.fr:inria-00519040
• From: Areces Carlos <>
• Submitted on: Friday, 17 September 2010 20:42:49
• Updated on: Thursday, 23 September 2010 12:12:19