The SCEAS System
| |||||||

## Search the dblp DataBase
Javier Leach:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva
**Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.**[Citation Graph (0, 0)][DBLP] AISMC, 1996, pp:365-379 [Conf] - Antonio Gavilanes, Javier Leach, Susana Nieva
**Free Variable Tableaux for a Many Sorted Logic with Preorders.**[Citation Graph (0, 0)][DBLP] AMAST, 1996, pp:102-116 [Conf] - Javier Leach, Susana Nieva
**A Higher-Order Logic Programming Language with Constraints.**[Citation Graph (0, 0)][DBLP] FLOPS, 2001, pp:108-122 [Conf] - Javier Leach, Susana Nieva
**MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions.**[Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:481-483 [Conf] - José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas
**A logic programming approach to the verification of functional-logic programs.**[Citation Graph (0, 0)][DBLP] PPDP, 2004, pp:9-19 [Conf] - Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
**Constraint Logic Programming with Hereditary Harrop Formulas.**[Citation Graph (0, 0)][DBLP] ILPS, 1997, pp:307-321 [Conf] - Pedro J. Martín, Antonio Gavilanes, Javier Leach
**Free Variable Tableaux for a Logic with Term Declarations.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1998, pp:202-216 [Conf] - Javier Leach, Susana Nieva
**A Higher-Order Programming Language with Constraints.**[Citation Graph (0, 0)][DBLP] WFLP, 2000, pp:440-454 [Conf] - Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
**Constraint Logic Programming with Hereditary Harrop Formula**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal] - Javier Leach, Susana Nieva
**Foundations of a theorem prover for functional and mathematical uses.**[Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 1993, v:3, n:1, pp:- [Journal] - Pedro J. Martín, Antonio Gavilanes, Javier Leach
**Tableau Methods for a Logic with Term Declarations.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2000, v:29, n:2, pp:343-372 [Journal] - Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
**Constraint Logic Programming with Hereditary Harrop Formula.**[Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:4, pp:409-445 [Journal]
Search in 0.015secs, Finished in 0.016secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |