Publicaciones en colaboración con investigadores/as de École Polytechnique (3)

2007

  1. HORPO with computability closure: A reconstruction

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2006

  1. Higher-order orderings for normal rewriting

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Higher-order termination: From kruskal to computability

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)