Harald Zankl

Identifiers

• name variant Harald Zankl 0.60 · backfill

Papers (8)

1. Labelings for Decreasing Diagrams cs.LO · 2014 · author #1
2. Layer Systems for Proving Confluence cs.LO · 2014 · author #3
3. Confluence by Decreasing Diagrams -- Formalized cs.LO · 2012 · author #1
4. Recording Completion for Finding and Certifying Proofs in Equational Logic cs.LO · 2012 · author #3
5. CeTA - A Tool for Certified Termination Analysis cs.LO · 2012 · author #4
6. Uncurrying for Innermost Termination and Derivational Complexity cs.LO · 2011 · author #1
7. Satisfying KBO Constraints cs.SC · 2006 · author #1
8. SAT Techniques for Lexicographic Path Orders cs.SC · 2006 · author #1

Mentions

• 1406.3139 #1 · backfill · confidence 0.70 Harald Zankl
• 1404.1225 #3 · backfill · confidence 0.70 Harald Zankl
• 1210.1100 #1 · backfill · confidence 0.70 Harald Zankl
• 1208.1597 #3 · backfill · confidence 0.70 Harald Zankl
• 1208.1591 #4 · backfill · confidence 0.70 Harald Zankl
• 1102.3733 #1 · backfill · confidence 0.70 Harald Zankl

Frequent Coauthors

• Aart Middeldorp 4 shared papers
• Bertram Felgenhauer 2 shared papers
• Christian Sternagel 2 shared papers
• Ren\'e Thiemann 2 shared papers
• Nao Hirokawa 1 shared papers
• Sarah Winkler 1 shared papers
• Thomas Sternagel 1 shared papers
• Vincent van Oostrom 1 shared papers