32894 articles – 26191 Notices  [english version]
.:. Consultation > Par auteur > Areces .:.
28 documents classés par :
1 - 2 - 3 Page Suivante Page Finale
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]
fulltext access 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.
In Symposium on Logical Foundations of Computer Science - LFCS'09 (2009) 16--30 [inria-00332399 - version 1]