Publicaciones en colaboración con investigadores/as de Universidad Simón Bolívar (2)

2004

  1. 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

  1. A note on first-order projections and games

    Theoretical Computer Science, Vol. 290, Núm. 3, pp. 2085-2093