Javier Leach Albert

José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas: A logic programming approach to the verification of functional-logic programs. PPDP 2004: 9-19

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formula. CoRR cs.PL/0404053 (2004)

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formula. TPLP 1(4): 409-445 (2001)

Javier Leach, Susana Nieva: A Higher-Order Logic Programming Language with Constraints. FLOPS 2001: 108-122

Pedro J. Martín, Antonio Gavilanes, Javier Leach: Tableau Methods for a Logic with Term Declarations. J. Symb. Comput. 29(2): 343-372 (2000)

Javier Leach, Susana Nieva: A Higher-Order Programming Language with Constraints. WFLP 2000: 440-454

Pedro J. Martín, Antonio Gavilanes, Javier Leach: Free Variable Tableaux for a Logic with Term Declarations. TABLEAUX 1998: 202-216

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formulas. ILPS 1997: 307-321

Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva: Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. AISMC 1996: 365-379

Antonio Gavilanes, Javier Leach, Susana Nieva: Free Variable Tableaux for a Many Sorted Logic with Preorders. AMAST 1996: 102-116

Javier Leach, Susana Nieva: Foundations of a theorem prover for functional and mathematical uses. Journal of Applied Non-Classical Logics 3(1): 7-38 (1993)

Javier Leach, Susana Nieva: MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. LPAR 1992: 481-483

Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo (Eds.): Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Lecture Notes in Computer Science 510, Springer 1991, isbn 3-540-54233-7