| 2004 |
|---|
| 13 | EE | 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 |
| 12 | EE | Javier Leach,
Susana Nieva,
Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formula
CoRR cs.PL/0404053: (2004) |
| 2001 |
|---|
| 11 | EE | Javier Leach,
Susana Nieva:
A Higher-Order Logic Programming Language with Constraints.
FLOPS 2001: 108-122 |
| 10 | | Javier Leach,
Susana Nieva,
Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formula.
TPLP 1(4): 409-445 (2001) |
| 2000 |
|---|
| 9 | | Javier Leach,
Susana Nieva:
A Higher-Order Programming Language with Constraints.
WFLP 2000: 440-454 |
| 8 | | Pedro J. Martín,
Antonio Gavilanes,
Javier Leach:
Tableau Methods for a Logic with Term Declarations.
J. Symb. Comput. 29(2): 343-372 (2000) |
| 1998 |
|---|
| 7 | EE | Pedro J. Martín,
Antonio Gavilanes,
Javier Leach:
Free Variable Tableaux for a Logic with Term Declarations.
TABLEAUX 1998: 202-216 |
| 1997 |
|---|
| 6 | | Javier Leach,
Susana Nieva,
Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formulas.
ILPS 1997: 307-321 |
| 1996 |
|---|
| 5 | | Antonio Gavilanes,
Javier Leach,
Pedro J. Martín,
Susana Nieva:
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.
AISMC 1996: 365-379 |
| 4 | | Antonio Gavilanes,
Javier Leach,
Susana Nieva:
Free Variable Tableaux for a Many Sorted Logic with Preorders.
AMAST 1996: 102-116 |
| 1993 |
|---|
| 3 | | Javier Leach,
Susana Nieva:
Foundations of a theorem prover for functional and mathematical uses.
Journal of Applied Non-Classical Logics 3(1): (1993) |
| 1992 |
|---|
| 2 | | Javier Leach,
Susana Nieva:
MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions.
LPAR 1992: 481-483 |
| 1991 |
|---|
| 1 | | Javier Leach Albert,
Burkhard Monien,
Mario Rodríguez-Artalejo:
Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings
Springer 1991 |
