Stefan Hetzl

Identifiers

• name variant Stefan Hetzl 0.60 · backfill

Papers (6)

1. Computing Witnesses Using the SCAN Algorithm cs.LO · 2026 · author #2
2. Functional Conceptual Substratum as a New Cognitive Mechanism for Mathematical Creation math.LO · 2017 · author #2
3. On the Herbrand content of LK cs.LO · 2016 · author #2
4. Introducing Quantified Cuts in Logic with Equality cs.LO · 2014 · author #1
5. Algorithmic Introduction of Quantified Cuts cs.LO · 2014 · author #1
6. Expansion Trees with Cut cs.LO · 2013 · author #1

Mentions

• 1402.2474 #1 · backfill · confidence 0.70 Stefan Hetzl
• 1401.4330 #1 · backfill · confidence 0.70 Stefan Hetzl
• 1308.0428 #1 · backfill · confidence 0.70 Stefan Hetzl

Frequent Coauthors

• Daniel Weller 3 shared papers
• Alexander Leitsch 2 shared papers
• Giselle Reis 2 shared papers
• Bahareh Afshari 1 shared papers
• Danny A. J. Gomez-Ramirez 1 shared papers
• Fabian Achammer 1 shared papers
• Graham E. Leigh 1 shared papers
• Janos Tapolczai 1 shared papers
• Renate A. Schmidt 1 shared papers