Informática
Fakultät
École Polytechnique
Palaiseau, FranciaPublikationen in Zusammenarbeit mit Forschern von É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)