.:. Consultation > Par auteur > Areces .:.

28 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3

Combining theories: the Ackerman and Guarded Fragments Areces C., Fontaine P. Dans 8th International Symposium Frontiers of Combining Systems - FroCoS 2011 6989 (2011) 40--54 [hal-00642529 - version 1]

The Expressive Power of Memory Logics Areces C., Figueira S., Mera S. Review of Symbolic Logic (2010) [inria-00519040 - version 1]

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) Areces C., Gorín D. Journal of Applied Logic 8, 4 (2010) 305-318 [inria-00519038 - version 1]

Resolution with Order and Selection for Hybrid Logics Areces C., Gorin D. Journal of Automated Reasoning 46, 1 (2010) 1-42 [inria-00519035 - version 1]

Special Issue on Hybrid Logics Areces C., Blackburn P. Elsevier (Ed.) (2010) 303-474 [inria-00549320 - version 1]

Modal Logics with Counting Areces C., Hoffmann G., Denis A. A. J. Dans 17th Workshop on Logic, Language, Information and Computation - WoLLIC 2010 (2010) ?? [hal-00482337 - version 1]

Testing Provers on a Grid - Framework Description Areces C., Gorin D., Lorenzo A., Perez Rodriguez M. Dans Proceedings of the 22nd International Workshop on Description Logics - DL 2009 477 (2009) [inria-00423068 - version 1]

Tableaux and Model Checking for Memory Logics Areces C., Figueira D., Gorin D., Mera S. Dans 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2009 5607 (2009) 47--61 [inria-00423049 - version 1]

Which Semantics for Neighbourhood Semantics? Areces C., Figueira D. Dans Twenty-first International Joint Conference on Artificial Intelligence - IJCAI 09 (2009) 671--676 [inria-00423047 - version 1]

Completeness results for memory logics Areces C., Mera S., Figueira S. Dans Symposium on Logical Foundations of Computer Science - LFCS'09 (2009) 16--30 [inria-00332399 - version 1]