Alexander Nutz (University of Freiburg)

Identifiers

• name variant Alexander Nutz (University of Freiburg) 0.60 · backfill

Papers (1)

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

Mentions

• 1907.03998 #4 · arxiv_oai · confidence 0.70 Alexander Nutz (University of Freiburg)

Frequent Coauthors

• Andreas Podelski (University of Freiburg) 1 shared papers
• Daniel Dietsch (University of Freiburg) 1 shared papers
• Jochen Hoenicke (University of Freiburg) 1 shared papers
• Matthias Heizmann (University of Freiburg) 1 shared papers