Daniel Dietsch (University of Freiburg)

Identifiers

• name variant Daniel Dietsch (University of Freiburg) 0.50 · backfill

Papers (1)

1. Ultimate TreeAutomizer (CHC-COMP Tool Description) cs.LO · 2019 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexander Nutz (University of Freiburg) 1 shared papers
• Andreas Podelski (University of Freiburg) 1 shared papers
• Jochen Hoenicke (University of Freiburg) 1 shared papers
• Matthias Heizmann (University of Freiburg) 1 shared papers