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
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-8 of 8 (Search time: 0.009 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Zyklische Superposition und Induktion.pdf.jpgVierling, Jannik Tim Zyklische Superposition und InduktionThesis Hochschulschrift2018
2Interpolation in first-order logic with equality.pdf.jpgMallinger, Bernhard Interpolation in first-order logic with equalityThesis Hochschulschrift2014
3Inductive theorem proving based on tree grammars.pdf.jpgEbner, Gabriel Inductive theorem proving based on tree grammarsThesis Hochschulschrift2021
4Grammatical Complexity of Finite Languages.pdf.jpgWolfsteiner, Simon Peter Grammatical Complexity of Finite LanguagesThesis Hochschulschrift2020
5Finding loop invariants using tree grammars.pdf.jpgEbner, Gabriel Finding loop invariants using tree grammarsThesis Hochschulschrift2015
6Cuts without quantifier alternations and their effect on expansion trees.pdf.jpgZivota, Sebastian Cuts without quantifier alternations and their effect on expansion treesThesis Hochschulschrift2014
7Computational interpretations of Markovs principle.pdf.jpgManighetti, Matteo Computational interpretations of Markov's principleThesis Hochschulschrift2016
8Abstrakte Beweisstrukturen ein einheitliches Framework.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