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:  Ebner, Gabriel

Results 1-4 of 4 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ebner 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 2019
2Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan Complexity of decision problems on totally rigid acyclic tree grammarsKonferenzbeitrag Inproceedings2018
3Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan Algorithmic Compression of Finite Tree Languages by Rigid Acyclic GrammarsArtikel Article 31-Oct-2017
4Ebner, Gabriel ; Hetzl, Stefan ; Reis, Giselle ; Riener, Martin ; Wolfsteiner, Simon Peter ; Zivota, Sebastian System Description: GAPT 2.0Konferenzbeitrag Inproceedings 12-Jun-2016

Contributing Publications Mitbeteiligte Publikationen

Filter:
Author:  Ebner, Gabriel

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

PreviewAuthor(s)TitleTypeIssue Date
1Ebner Gabriel - 2021 - Inductive theorem proving based on tree grammars.pdf.jpgEbner, Gabriel Inductive theorem proving based on tree grammarsThesis Hochschulschrift 2021
2Ebner Gabriel - 2015 - Finding loop invariants using tree grammars.pdf.jpgEbner, Gabriel Finding loop invariants using tree grammarsThesis Hochschulschrift 2015