Publicaciones en colaboración con investigadoras/es de Universitat Politècnica de Catalunya (6)

2013

  1. Invariant-free clausal temporal resolution

    Journal of Automated Reasoning, Vol. 50, Núm. 1, pp. 1-49

2009

  1. Dual Systems of Tableaux and Sequents for PLTL

    Journal of Logic and Algebraic Programming, Vol. 78, Núm. 8, pp. 701-722

2007

  1. A cut-free and invariant-free sequent calculus for PLTL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1998

  1. The structure of logarithmic advice complexity classes

    Theoretical Computer Science, Vol. 207, Núm. 1, pp. 217-244

1995

  1. Learnability of kolmogorov-easy circuit expressions via queries

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1994

  1. A Note on polynomial-size circuits with low resource-bounded Kolmogorov complexity

    Mathematical Systems Theory, Vol. 27, Núm. 4, pp. 347-356