Communication Dans Un Congrès
Année : 2009
Areces Carlos : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00332399
Soumis le : lundi 20 octobre 2008-18:58:53
Dernière modification le : vendredi 24 mars 2023-14:52:51
Dates et versions
Identifiants
- HAL Id : inria-00332399 , version 1
Citer
Carlos Areces, Sergio Mera, Santiago Figueira. Completeness results for memory logics. Symposium on Logical Foundations of Computer Science - LFCS'09, Jan 2009, Deerfield Beach, Florida, USA, United States. pp.16--30. ⟨inria-00332399⟩
Collections
34
Consultations
0
Téléchargements