Informática
Fakultatea
Universidad de Oriente - Santiago de Cuba
Santiago de Cuba, CubaUniversidad de Oriente - Santiago de Cuba-ko ikertzaileekin lankidetzan egindako argitalpenak (2)
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)