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
 
Main Affiliation Organisationszuordnung
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hetzl - 2011 - CERES in higher-order logic.pdf.jpgHetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel CERES in higher-order logicArticle Artikel 2011

Contributing Publications Mitbeteiligte Publikationen

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

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

Projects Projekte


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

TitleP-InvestigatorProject status
Algorithmic Structuring and Compression of ProofsHetzl, StefanCLOSED
Structure and Expressivity: The Mathematical Foundations of Inductive ReasoningHetzl, StefanIN PROGRESS