Name Card

Full name Familienname, Vorname
Hetzl, Stefan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 80 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. Herbrand's theorem as higher order recursionArtikel Article 2020
2Hetzl, Stefan ; Zivota, Sebastian Decidability of affine solution problemsArtikel Article 2020
3Hetzl, Stefan ; Vierling, Jannik Clause Set Cycles and InductionArtikel Article 2020
4Aschieri, Federico ; Hetzl, Stefan ; Weller, Daniel Expansion trees with cutArtikel Article 8-Oct-2019
5Ebner Gabriel - 2018 - On the Generation of Quantified Lemmas.pdf.jpgEbner, Gabriel ; Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Weller, Daniel On the Generation of Quantified LemmasArticle Artikel 2019
6Hetzl, Stefan A simplified proof of the epsilon theoremsPräsentation Presentation2018
7Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan Complexity of decision problems on totally rigid acyclic tree grammarsKonferenzbeitrag Inproceedings2018
8Hetzl, Stefan ; Wolfsteiner, Simon Cover Complexity of Finite LanguagesKonferenzbeitrag Inproceedings2018
9Eberhard, Sebastian ; Hetzl, Stefan On the Compressibility of Finite Languages and Formal ProofsArtikel Article 2018
10Hetzl, Stefan ; Wong, Tin Lok Some observations on the logical foundations of inductive theorem provingArtikel Article 2018
11Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan Algorithmic Compression of Finite Tree Languages by Rigid Acyclic GrammarsArtikel Article 31-Oct-2017
12Baaz, Matthias ; Ciabattoni, Agata ; Gabbay, Dov M. ; Hetzl, Stefan ; Weller, Daniel PrefaceArtikel ArticleMar-2017
13Hetzl, Stefan On the Complexity of Grammars and First-Order ProofsPräsentation Presentation2017
14Hetzl, Stefan Some Observations on the Logical Foundations of Inductive Theorem ProvingPräsentation Presentation2017
15Hetzl, Stefan Some Observations on the Logical Foundations of Inductive Theorem ProvingPräsentation Presentation2017
16Hetzl, Stefan System Description: General Architecture for Proof TheoryPräsentation Presentation2017
17Hetzl, Stefan Hilbert's Larger ProgrammePräsentation Presentation2017
18Eberhard, Sebastian ; Hetzl, Stefan ; Weller, Daniel Boolean Unification with PredicatesArtikel Article 2017
19Ebner, Gabriel ; Hetzl, Stefan ; Reis, Giselle ; Riener, Martin ; Wolfsteiner, Simon Peter ; Zivota, Sebastian System Description: GAPT 2.0Konferenzbeitrag Inproceedings 12-Jun-2016
20Hetzl, Stefan Inductive theorem proving based on tree grammarsPräsentation Presentation2016

Contributing Publications Mitbeteiligte Publikationen

Results 1-11 of 11 (Search time: 0.011 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Achammer Fabian - 2023 - Decidability of diophantine equations in a theory...pdf.jpgAchammer, Fabian Decidability of diophantine equations in a theory adjacent to IOpenThesis Hochschulschrift 2023
2Kloibhofer Johannes - 2021 - A fixed-point theorem for Horn formula equations.pdf.jpgKloibhofer, Johannes A fixed-point theorem for Horn formula equationsThesis Hochschulschrift 2021
3Zivota Sebastian - 2021 - On formula equations and invariant generation.pdf.jpgZivota, Sebastian On formula equations and invariant generationThesis Hochschulschrift 2021
4Ebner Gabriel - 2021 - Inductive theorem proving based on tree grammars.pdf.jpgEbner, Gabriel Inductive theorem proving based on tree grammarsThesis Hochschulschrift 2021
5Wolfsteiner Simon Peter - 2020 - Grammatical complexity of finite languages.pdf.jpgWolfsteiner, Simon Peter Grammatical complexity of finite languagesThesis Hochschulschrift 2020
6Vierling Jannik Tim - 2018 - Zyklische Superposition und Induktion.pdf.jpgVierling, Jannik Tim Zyklische Superposition und InduktionThesis Hochschulschrift 2018
7Manighetti Matteo - 2016 - Computational interpretations of Markovs principle.pdf.jpgManighetti, Matteo Computational interpretations of Markov's principleThesis Hochschulschrift 2016
8Humenberger Andreas - 2016 - Abstrakte Beweisstrukturen ein einheitliches...pdf.jpgHumenberger, Andreas Abstrakte Beweisstrukturen : ein einheitliches FrameworkThesis Hochschulschrift 2016
9Ebner Gabriel - 2015 - Finding loop invariants using tree grammars.pdf.jpgEbner, Gabriel Finding loop invariants using tree grammarsThesis Hochschulschrift 2015
10Zivota Sebastian - 2014 - Cuts without quantifier alternations and their effect...pdf.jpgZivota, Sebastian Cuts without quantifier alternations and their effect on expansion treesThesis Hochschulschrift 2014
11Mallinger Bernhard - 2014 - Interpolation in first-order logic with equality.pdf.jpgMallinger, Bernhard Interpolation in first-order logic with equalityThesis Hochschulschrift 2014