ALBERTO
RUBIO GIMENO
Catedrático de universidad
![Foto de ALBERTO](/img/nophoto.png)
![Foto de Universidad de Oriente - Santiago de Cuba](/img/noimage_org.png)
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)