JAVIER
LEACH ALBERT
Investigador hasta 2012
SUSANA
NIEVA SOTO
Profesora titular de universidad
Publicaciones en las que colabora con SUSANA NIEVA SOTO (6)
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)