The Expressive Power of Memory Logics

Type de document :
Article dans une revue
The 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 : mercredi 1 août 2018 - 15:02:03

Identifiants

  • HAL Id : inria-00519040, version 1

Collections

Citation

Carlos Areces, Santiago Figueira, Sergio Mera. The Expressive Power of Memory Logics. The review of symbolic logic, Cambridge University Press, 2010. 〈inria-00519040〉

Partager

Métriques

Consultations de la notice

119