JAVIER
LEACH ALBERT
Forscher bis um 2012
ANTONIO
GAVILANES FRANCO
Profesor titular de universidad
Publikationen, an denen er mitarbeitet ANTONIO GAVILANES FRANCO (4)
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
-
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)