dblp.uni-trier.dewww.uni-trier.de

Javier Leach Albert

Javier Leach

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2004
13EEJosé Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas: A logic programming approach to the verification of functional-logic programs. PPDP 2004: 9-19
12EEJavier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formula CoRR cs.PL/0404053: (2004)
2001
11EEJavier 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
7EEPedro 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

Coauthor Index

1José Miguel Cleva [13]
2Antonio Gavilanes [4] [5] [7] [8]
3Francisco Javier López-Fraguas [13]
4Pedro J. Martín [5] [7] [8]
5Burkhard Monien [1]
6Susana Nieva [2] [3] [4] [5] [6] [9] [10] [11] [12]
7Mario Rodríguez-Artalejo [1] [6] [10] [12]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)