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 41-60 of 80 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
41Hetzl, Stefan Proofs and grammarsPräsentation Presentation2013
42Hetzl, Stefan ; Weller, Daniel Expansion trees with cutPreprint Preprint2013
43Hetzl, Stefan ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil Understanding resolution proofs through Herbrand's TheoremKonferenzbeitrag Inproceedings 2013
44Hetzl, Stefan ; Straßburger, Lutz Herbrand-ConfluencePreprint Preprint2013
45Hetzl, Stefan ; Strassburger, Lutz Herbrand-ConfluenceArtikel Article 2013
46Hetzl, Stefan Which proofs can be computed by cut-elimination?Präsentation Presentation2012
47Hetzl, Stefan Which proofs can be computed by cut-elimination?Präsentation Presentation2012
48Hetzl, Stefan A systematic approach to canonicity in the classical sequent calculusPräsentation Presentation2012
49Avigad, Jeremy ; Hetzl, Stefan Bondy's TheoremArtikel Article2012
50Baaz, Matthias ; Hetzl, Stefan ; Weller, Daniel On the complexity of proof deskolemizationArtikel Article2012
51Hetzl, Stefan Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP)Konferenzbeitrag Inproceedings 2012
52Hetzl, Stefan Applying Tree Languages in Proof TheoryKonferenzbeitrag Inproceedings 2012
53Hetzl, Stefan Computational proof analysisThesis Hochschulschrift2012
54Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012
55Hetzl, Stefan The computational content of arithmetical proofsArtikel Article 2012
56Chaudhuri, Kaustuv ; Hetzl, Stefan ; Miller, Dale A systematic approach to canonicity in the classical sequent calculusKonferenzbeitrag Inproceedings 2012
57Hetzl, Stefan ; Straßburger, Lutz Herbrand-confluence for cut elimination in classical first order logicKonferenzbeitrag Inproceedings 2012
58Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel Ceres in higher-order logicArtikel Article2011
59Baaz, Matthias ; Hetzl, Stefan On the non-confluence of cut-eliminationArtikel Article2011
60Hetzl Stefan - 2011 - CERES in higher-order logic.pdf.jpgHetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel CERES in higher-order logicArticle Artikel 2011