JAVIER
LEACH ALBERT
Investigador hasta 2012
Publicaciones en las que colabora con JAVIER LEACH ALBERT (7)
2004
-
A logic programming approach to the verification of functional-logic programs
Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04
2001
-
A higher-order logic programming language with constraints
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming, Vol. 1, Núm. 4, pp. 409-445
1996
-
Free variable tableaux for a many sorted logic with preorders
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Reasoning with preorders and dynamic sorts using free variable tableaux
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1993
-
Foundations of a theorem prover for functional and mathematical uses
Journal of Applied Non-Classical Logics, Vol. 3, Núm. 1, pp. 7-38
1992
-
MIZ-PR: A theorem prover for polymorphic and recursive functions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)