Browsing by Author Hetzl, Stefan

Showing results 1 to 2 of 2
PreviewAuthors / EditorsTitleTypeIssue Date
Ebner 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 2018
Hetzl Stefan - 2004 - Projection-based cut-elimination and normalization.pdf.jpgHetzl, StefanProjection-based cut-elimination and normalizationThesis Hochschulschrift 2004