Aart Middeldorp

Identifiers

• name variant Aart Middeldorp 0.60 · backfill

Papers (8)

1. Unification of Deterministic Higher-Order Patterns (Full Version) cs.LO · 2026 · author #2
2. Complexity of Conditional Term Rewriting cs.LO · 2015 · author #2
3. Labelings for Decreasing Diagrams cs.LO · 2014 · author #3
4. Layer Systems for Proving Confluence cs.LO · 2014 · author #2
5. Uncurrying for Innermost Termination and Derivational Complexity cs.LO · 2011 · author #3
6. Decreasing Diagrams and Relative Termination cs.LO · 2009 · author #2
7. On the Complexity of Deciding Call-by-Need cs.LO · 2009 · author #2
8. Satisfying KBO Constraints cs.SC · 2006 · author #2

Mentions

• 1406.3139 #3 · backfill · confidence 0.70 Aart Middeldorp
• 1404.1225 #2 · backfill · confidence 0.70 Aart Middeldorp
• 1102.3733 #3 · backfill · confidence 0.70 Aart Middeldorp
• 0910.2853 #2 · backfill · confidence 0.70 Aart Middeldorp
• 0901.0869 #2 · backfill · confidence 0.70 Aart Middeldorp

Frequent Coauthors

• Harald Zankl 4 shared papers
• Bertram Felgenhauer 2 shared papers
• Nao Hirokawa 2 shared papers
• Cynthia Kop 1 shared papers
• Ir\`ene Durand (LaBRI) 1 shared papers
• Johannes Niederhauser 1 shared papers
• Thomas Sternagel 1 shared papers
• Vincent van Oostrom 1 shared papers