ARGIMIRO ALEJANDRO
ARRATIA QUESADA
Investigador en el periodo 2003-2009
Universidad Simón Bolívar
Caracas, VenezuelaPublicaciones en colaboración con investigadores/as de Universidad Simón Bolívar (2)
2004
-
Approximating the expressive power of logics in finite models
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2976, pp. 540-556
2003
-
A note on first-order projections and games
Theoretical Computer Science, Vol. 290, Núm. 3, pp. 2085-2093