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.002secs, Finished in 0.002secs