Hetzl, Stefan

Network Lab View Statistics Email Alert RSS Feed

Name Card

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

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hetzl, Stefan Computational proof analysisThesis Hochschulschrift2012
2Hetzl, Stefan Characteristic clause sets and proof transformationsThesis Hochschulschrift2007
3Hetzl Stefan - 2004 - Projection-based cut-elimination and normalization.pdf.jpgHetzl, Stefan Projection-based cut-elimination and normalizationThesis Hochschulschrift 2004

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