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)

• Domaine : Informatique/Logique en informatique

• inria-00519040, version 1
• http://hal.inria.fr/inria-00519040
• oai:hal.inria.fr:inria-00519040
• Contributeur : Areces Carlos <>
• Soumis le : Vendredi 17 Septembre 2010, 20:42:49
• Dernière modification le : Jeudi 23 Septembre 2010, 12:12:19