ALBERTO
RUBIO GIMENO
Catedrático de universidad
![Foto de Guillem](/img/nophoto.png)
Guillem
Godoy Balil
Publikationen, an denen er mitarbeitet Guillem Godoy Balil (5)
2005
-
Orderings for innermost termination
Lecture Notes in Computer Science
-
Recursive Path Orderings can also be incremental
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2003
-
Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings
Journal of Automated Reasoning, Vol. 30, Núm. 1, pp. 99-120
2000
-
Modular redundancy for theorem proving
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1999
-
Paramodulation with non-monotonic orderings
Proceedings - Symposium on Logic in Computer Science