Carlos Areces
Stand Up Logician
FaMAF, Univeridad Nacional de Córdoba
Medina Allende s/n , Ciudad Universitaria
CP:X5000HUA Córdoba, Argentina
Phone: (0054) 351 5353701 - Ext. 41414 or 43030
Fax: +54 351 4334054
mail: firstname.lastname (at) gmail.com
http://cs.famaf.unc.edu.ar/~careces
se hacen con una sonrisa.
Empezemos por ahí."
Recent Papers
- Areces, C., Fervari, R., and Hoffmann, G.. Swap Logic. Logic Journal of the IGPL, 2013.
- Areces, C.,, Blackburn, P., Huertas, A.,, and Manzano, M.. Completeness in Hybrid Type Theory. Journal of Philosophical Logic, 2013.
Evaluando Publicaciones en CS
El siguiente link, escrito por Sebastian Uchitel, es un excelente comentarios sobre cómo evaluar la relevancia de publicaciones en el á de Ciencias de la Computación.
toTop("");?>![[ -Myself- ]](images/carlos.jpg)