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

Filter:
Author:  Zivota, Sebastian

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

PreviewAuthor(s)TitleTypeIssue Date
1Hetzl, Stefan ; Zivota, Sebastian Decidability of affine solution problemsArtikel Article 2020
2Ebner, Gabriel ; Hetzl, Stefan ; Reis, Giselle ; Riener, Martin ; Wolfsteiner, Simon Peter ; Zivota, Sebastian System Description: GAPT 2.0Konferenzbeitrag Inproceedings 12-Jun-2016
3Hetzl, Stefan ; Zivota, Sebastian Tree Grammars for the Elimination of Non-prenex CutsKonferenzbeitrag Inproceedings2015

Contributing Publications Mitbeteiligte Publikationen

Filter:
Author:  Zivota, Sebastian

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

PreviewAuthor(s)TitleTypeIssue Date
1Zivota Sebastian - 2021 - On formula equations and invariant generation.pdf.jpgZivota, Sebastian On formula equations and invariant generationThesis Hochschulschrift 2021
2Zivota Sebastian - 2014 - Cuts without quantifier alternations and their effect...pdf.jpgZivota, Sebastian Cuts without quantifier alternations and their effect on expansion treesThesis Hochschulschrift 2014