Javier Leach Albert

According to our database, Javier Leach Albert authored at least 11 papers between 1992 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2004

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

José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2001

Constraint Logic Programming with Hereditary Harrop Formula.

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo

Theory Pract. Log. Program., 2001

A Higher-Order Logic Programming Language with Constraints.

Javier Leach, Susana Nieva

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

Tableau Methods for a Logic with Term Declarations.

Pedro J. Martín, Antonio Gavilanes, Javier Leach

J. Symb. Comput., 2000

A Higher-Order Programming Language with Constraints.

Javier Leach, Susana Nieva

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

1998

Free Variable Tableaux for a Logic with Term Declarations.

Pedro J. Martín, Antonio Gavilanes, Javier Leach

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

1997

Constraint Logic Programming with Hereditary Harrop Formulas.

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo

Proceedings of the Logic Programming, 1997

1996

Free Variable Tableaux for a Many Sorted Logic with Preorders.

Antonio Gavilanes, Javier Leach, Susana Nieva

Proceedings of the Algebraic Methodology and Software Technology, 1996

Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.

Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1993

Foundations of a theorem prover for functional and mathematical uses.

Javier Leach, Susana Nieva

J. Appl. Non Class. Logics, 1993

1992

MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions.

Javier Leach, Susana Nieva

Proceedings of the Logic Programming and Automated Reasoning, 1992