Hetzl, Stefan

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Associate Prof. Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Hetzl, Stefan
 
Postfix title Titel (nachgestellt)
BSc
 

Own Publications Eigene Publikationen

Results 1-20 of 25 (Search time: 0.018 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hetzl, Stefan ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil Understanding resolution proofs through Herbrand's TheoremKonferenzbeitrag Inproceedings 2013
2Hetzl, Stefan ; Zivota, Sebastian Tree Grammars for the Elimination of Non-prenex CutsKonferenzbeitrag Inproceedings2015
3Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Rudnicki, Piotr ; Sutcliffe, Geoff Transforming and Analyzing Proofs in the CERES-systemKonferenzbeitrag Inproceedings 2008
4Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Bjorner, Nikolaj ; Voronkov, Andrei Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012
5Leitsch, Alexander ; Hetzl, Stefan ; Aguzzoli, Stefano Proof Transformations and Structural InvarianceBuchbeitrag Book Contribution2007
6Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik ; Borwein, J.M. ; Farmer, William Proof Transformation by CERESKonferenzbeitrag Inproceedings 2006
7Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Sutcliffe, Geoff ; Colton, Simon ; Schulz, Stephan Proof Analysis with HLK, CERES and ProofTool: Current Status and Future DirectionsKonferenzbeitrag Inproceedings2008
8Hetzl Stefan - 2004 - Projection-based cut-elimination and normalization.pdf.jpgHetzl, Stefan Projection-based cut-elimination and normalizationThesis Hochschulschrift 2004
9Hetzl, Stefan Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP)Konferenzbeitrag Inproceedings 2012
10Ebner 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
11Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Tapolczai, Janos ; Weller, Daniel Introducing Quantified Cuts in Logic with EqualityKonferenzbeitrag Inproceedings 2014
12Hetzl, Stefan ; Straßburger, Lutz Herbrand-confluence for cut elimination in classical first order logicKonferenzbeitrag Inproceedings 2012
13Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Autexier, S Herbrand Sequent ExtractionKonferenzbeitrag Inproceedings 2008
14Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham Herbrand Disjunctions, Cut Elimination and Context-Free Tree GrammarsKonferenzbeitrag Inproceedings2015
15Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. Herbrand Confluence for First-Order Proofs with Π<sub>2</sub>-CutsBuchbeitrag Book Contribution2016
16Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik Cut-Elimination: Experiments with CERESKonferenzbeitrag Inproceedings2005
17Hetzl, Stefan ; Wolfsteiner, Simon Cover Complexity of Finite LanguagesKonferenzbeitrag Inproceedings2018
18Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan Complexity of decision problems on totally rigid acyclic tree grammarsKonferenzbeitrag Inproceedings2018
19Hetzl - 2011 - CERES in higher-order logic.pdf.jpgHetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel CERES in higher-order logicArticle Artikel 2011
20Hetzl, Stefan Applying Tree Languages in Proof TheoryKonferenzbeitrag Inproceedings 2012

Contributing Publications Mitbeteiligte Publikationen

Results 1-10 of 10 (Search time: 0.02 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Vierling Jannik Tim - 2018 - Zyklische Superposition und Induktion.pdf.jpgVierling, Jannik Tim Zyklische Superposition und InduktionThesis Hochschulschrift 2018
2Zivota Sebastian - 2021 - On formula equations and invariant generation.pdf.jpgZivota, Sebastian On formula equations and invariant generationThesis Hochschulschrift 2021
3Mallinger Bernhard - 2014 - Interpolation in first-order logic with equality.pdf.jpgMallinger, Bernhard Interpolation in first-order logic with equalityThesis Hochschulschrift 2014
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
6Kloibhofer Johannes - 2021 - A fixed-point theorem for Horn formula equations.pdf.jpgKloibhofer, Johannes A fixed-point theorem for Horn formula equationsThesis Hochschulschrift 2021
7Ebner Gabriel - 2015 - Finding loop invariants using tree grammars.pdf.jpgEbner, Gabriel Finding loop invariants using tree grammarsThesis Hochschulschrift 2015
8Zivota Sebastian - 2014 - Cuts without quantifier alternations and their effect...pdf.jpgZivota, Sebastian Cuts without quantifier alternations and their effect on expansion treesThesis Hochschulschrift 2014
9Manighetti Matteo - 2016 - Computational interpretations of Markovs principle.pdf.jpgManighetti, Matteo Computational interpretations of Markov's principleThesis Hochschulschrift 2016
10Humenberger Andreas - 2016 - Abstrakte Beweisstrukturen ein einheitliches...pdf.jpgHumenberger, Andreas Abstrakte Beweisstrukturen : ein einheitliches FrameworkThesis Hochschulschrift 2016

Projects Projekte


Results 1-2 of 2 (Search time: 0.0 seconds).

TitleP-Investigator
Algorithmic Structuring and Compression of ProofsHetzl, Stefan
Structure and Expressivity: The Mathematical Foundations of Inductive ReasoningHetzl, Stefan