Lista de

Areces, Carlos Eduardo
6
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