Informática
Facultat
Universidad de Oriente - Santiago de Cuba
Santiago de Cuba, CubaPublicacions en col·laboració amb investigadors/es de Universidad de Oriente - Santiago de Cuba (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)