Javier Leach

Publication Activity (10 Years)

Years Active: 1992-2004
Publications (10 Years): 0

Publications

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formula CoRR (2004)
José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas
A logic programming approach to the verification of functional-logic programs. PPDP (2004)
Javier Leach, Susana Nieva
A Higher-Order Logic Programming Language with Constraints. FLOPS (2001)
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formula. Theory Pract. Log. Program. 1 (4) (2001)
Pedro J. Martín, Antonio Gavilanes, Javier Leach
Tableau Methods for a Logic with Term Declarations. J. Symb. Comput. 29 (2) (2000)
Javier Leach, Susana Nieva
A Higher-Order Programming Language with Constraints. WFLP (2000)
Pedro J. Martín, Antonio Gavilanes, Javier Leach
Free Variable Tableaux for a Logic with Term Declarations. TABLEAUX (1998)
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formulas. ILPS (1997)
Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. AISMC (1996)
Antonio Gavilanes, Javier Leach, Susana Nieva
Free Variable Tableaux for a Many Sorted Logic with Preorders. AMAST (1996)
Javier Leach, Susana Nieva
Foundations of a theorem prover for functional and mathematical uses. J. Appl. Non Class. Logics 3 (1) (1993)
Javier Leach, Susana Nieva
MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. LPAR (1992)