Stefan Hetzl
Identifiers
- name variant Stefan Hetzl 0.60 · backfill
Papers (6)
- Computing Witnesses Using the SCAN Algorithm cs.LO · 2026 · author #2
- Functional Conceptual Substratum as a New Cognitive Mechanism for Mathematical Creation math.LO · 2017 · author #2
- On the Herbrand content of LK cs.LO · 2016 · author #2
- Introducing Quantified Cuts in Logic with Equality cs.LO · 2014 · author #1
- Algorithmic Introduction of Quantified Cuts cs.LO · 2014 · author #1
- Expansion Trees with Cut cs.LO · 2013 · author #1
Mentions
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