Javier Leach Albert

Javier Leach

	2004
13		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		Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formula CoRR cs.PL/0404053: (2004)
	2001
11		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		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

Coauthor Index

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