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, CubaPublicaciones en colaboración con investigadores/as 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)