Statistics
Publications
7
Citations
151
H-Index
7
Active since
2008
Stefan Hetzl is an author at TU Wien specializing in computer science, mathematics, and computing.
Publications per year
2008–2018
7
7
Algorithmic introduction of quantified cuts
Stefan Hetzl, Alexander Leitsch, Giselle Reis et al. · Theoretical Computer Science · 2014 · 29 citations
On the complexity of proof deskolemization
Matthias Baaz, Stefan Hetzl, Daniel S. Weller · Journal of Symbolic Logic · 2012 · 25 citations
On the Generation of Quantified Lemmas
Gabriel Ebner, Stefan Hetzl, Alexander Leitsch et al. · Journal of Automated Reasoning · 2018 · 12 citations · Full text
1–5 of 7