Javier Leach

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