Carlos Areces

Stand Up Logician
FaMAF, Universidad 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

"Las revoluciones --dijo--
se hacen con una sonrisa.
Empezemos por ahí."

Recent Papers

  • C. Areces, P. Fontaine, and S. Metz. Modal Satisfiability via SMT Solving. Martin Wirsing Festschrift, LNCS, 2015

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.