Publicaciones en las que colabora con Guillem Godoy Balil (5)

2005

  1. Orderings for innermost termination

    Lecture Notes in Computer Science

  2. Recursive Path Orderings can also be incremental

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

2003

  1. Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings

    Journal of Automated Reasoning, Vol. 30, Núm. 1, pp. 99-120

2000

  1. Modular redundancy for theorem proving

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

1999

  1. Paramodulation with non-monotonic orderings

    Proceedings - Symposium on Logic in Computer Science