Publicaciones en las que colabora con JAVIER LEACH ALBERT (7)

2004

  1. A logic programming approach to the verification of functional-logic programs

    Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

2001

  1. A higher-order logic programming language with constraints

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

  2. Constraint Logic Programming with Hereditary Harrop formulas

    Theory and Practice of Logic Programming, Vol. 1, Núm. 4, pp. 409-445

1996

  1. Free variable tableaux for a many sorted logic with preorders

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

  2. Reasoning with preorders and dynamic sorts using free variable tableaux

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

1993

  1. Foundations of a theorem prover for functional and mathematical uses

    Journal of Applied Non-Classical Logics, Vol. 3, Núm. 1, pp. 7-38

1992

  1. MIZ-PR: A theorem prover for polymorphic and recursive functions

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