15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008
1
6th International Conference on Logical Aspects of Computational Linguistics, LACL 2011
1
Annals of Pure and Applied Logic
1
International Symposium on Logical Foundations of Computer Science, LFCS 2009
1
Journal of Automated Reasoning
1
Theoretical Computer Science
1
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400