Publicaciones en colaboración con investigadores/as de Universitat de Girona (9)

2019

  1. Resource Analysis driven by (Conditional) Termination Proofs

    Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 722-739

2013

  1. Paramodulation with non-monotonic orderings and simplification

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

2009

  1. Paramodulation with well-founded orderings

    Journal of Logic and Computation, Vol. 19, Núm. 2, pp. 263-302

2008

  1. A write-based solver F or SAT modulo the theory of arrays

    Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD

  2. The Barcelogic SMT solver: Tool paper

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

2004

  1. Redundancy notions for paramodulation with non-monotonic orderings

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

2003

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

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

2002

  1. Well-foundedness is sufficient for completeness of ordered paramodulation

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

2000

  1. Modular redundancy for theorem proving

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