Complutense Group on Program Analyis and Transformation
COSTA
University of Paris-Saclay
Gif-sur-Yvette, FranciaUniversity of Paris-Saclay-ko ikertzaileekin lankidetzan egindako argitalpenak (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