The Expressive Power of Memory Logics

Type de document :
Article dans une revue
Review of Symbolic Logic, Cambridge University Press, 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00519040
Contributeur : Areces Carlos <>
Soumis le : vendredi 17 septembre 2010 - 20:42:49
Dernière modification le : vendredi 27 avril 2018 - 13:46:29

Identifiants

  • HAL Id : inria-00519040, version 1

Collections

Citation

Carlos Areces, Santiago Figueira, Sergio Mera. The Expressive Power of Memory Logics. Review of Symbolic Logic, Cambridge University Press, 2010. 〈inria-00519040〉

Partager

Métriques

Consultations de la notice

106