ALBERTO
RUBIO GIMENO
Catedrático de universidad
University of Paris-Saclay
Gif-sur-Yvette, FranciaPublicaciones en colaboración con investigadores/as de University of Paris-Saclay (2)
2006
-
Higher-order termination: From kruskal to computability
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1999
-
Higher-order recursive path ordering
Proceedings - Symposium on Logic in Computer Science, pp. 402-411