Carlos Areces

Carlos Areces

Universidad Nacional de Córdoba - Córdoba / Argentina
History, Philosophy, Theology / Philosophy
AD Scientific Index ID: 854811
National University of Córdoba
person_outline Carlos Areces's MOST POPULAR ARTICLES
1-) Hybrid logicsC Areces, B ten CateStudies in Logic and Practical Reasoning 3, 821-868, 20074082007
2-) Hybrid logics: Characterization, interpolation and complexityC Areces, P Blackburn, M MarxThe Journal of Symbolic Logic 66 (3), 977-1010, 20012932001
3-) A road-map on complexity for hybrid logicsC Areces, P Blackburn, M MarxInternational Workshop on Computer Science Logic, 307-321, 19991841999
4-) The computational complexity of hybrid temporal logicsC Areces, P Blackburn, M MarxLogic Journal of the IGPL 8 (5), 653-679, 20001492000
5-) Keys, nominals, and concrete domainsC Lutz, C Areces, I Horrocks, U SattlerProceedings of the 18th international joint conference on Artificial …, 2003144*2003