Carlos Areces (Preferred)
Carlos Areces
Full Professor, Computación, Universidad Nacional de Córdoba
Joined
May 2019
Names
Emails
****@gmail.com (Confirmed)
****@unc.edu.ar (Confirmed)
Personal Links
Career & Education History
Full Professor
Computación, Universidad Nacional de Córdoba (unc.edu.ar)
2010 – Present
Advisors, Relations & Conflicts
Expertise
Modal Logic
Present
Model Theory
Present
Complexity
Present
Computational Logic
Present
Automated Reasoning
Present
Description Logics
Present
Publications
Co-Authors
- Alejandra Lorenzo
- Alexander Koller
- Alexandre Denis
- Andrés R. Saravia
- Antonia Huertas
- Balder ten Cate
- Bastien Maubert
- Bernadette Martínez Hernández
- Bernd-Holger Schlingloff
- Carsten Lutz
- Dan Hirsch
- Danae Dutto
- Daniel Gnad
- Daniel Gorín
- Daniel Penazzi
- Daniel Yankelevich
- Dick de Jongh
- Diego Figueira
- Dmitry Sustretov
- Enrico Franconi
- Eva Hoogland
- Ezequiel Orbe
- Facundo Bustos
- Facundo Carreiro
- Fernando R. Velázquez-Quesada