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) France

Bibliographic reference

• Type of document: Articles in peer-reviewed journal
• Domain: Computer Science/Logic in Computer Science
• Title: The Expressive Power of Memory Logics
• Full text language: English
• Journal title: Review of Symbolic Logic
• Publication date: 2010-08-31
• Audience: international
• Commercial editor: Cambridge University Press

• 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