Informática
Facultad
École Polytechnique
Palaiseau, FranciaPublicaciones en colaboración con investigadores/as de École Polytechnique (3)
2007
-
HORPO with computability closure: A reconstruction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006
-
Higher-order orderings for normal rewriting
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Higher-order termination: From kruskal to computability
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)