Publications in collaboration with researchers from University of Paris-Saclay (3)

2006

  1. 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

  1. Higher-order recursive path ordering

    Proceedings - Symposium on Logic in Computer Science, pp. 402-411