JAVIER
LEACH ALBERT
Investigador hasta 2012
PEDRO JESÚS
MARTÍN DE LA CALLE
Profesor titular de universidad
Publicaciones en las que colabora con PEDRO JESÚS MARTÍN DE LA CALLE (3)
2000
-
Tableau Methods for a Logic with Term Declarations
Journal of Symbolic Computation, Vol. 29, Núm. 2, pp. 343-372
1998
-
Free variable tableaux for a logic with term declarations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1996
-
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)