Name Card

Full name Familienname, Vorname
Eberhard, Sebastian
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan Complexity of decision problems on totally rigid acyclic tree grammarsKonferenzbeitrag Inproceedings2018
2Eberhard, Sebastian ; Hetzl, Stefan On the Compressibility of Finite Languages and Formal ProofsArtikel Article 2018
3Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan Algorithmic Compression of Finite Tree Languages by Rigid Acyclic GrammarsArtikel Article 31-Oct-2017
4Eberhard, Sebastian ; Hetzl, Stefan ; Weller, Daniel Boolean Unification with PredicatesArtikel Article 2017
5Eberhard, Sebastian ; Hetzl, Stefan Compressibility of finite languages by grammarsPräsentation Presentation2015
6Eberhard, Sebastian ; Hetzl, Stefan Compressibility of Finite Languages by GrammarsArtikel Article2015
7Eberhard, Sebastian ; Hetzl, Stefan Inductive theorem proving based on tree grammarsArtikel Article2015
8Eberhard, Sebastian Characterising polytime and exptime using truth-inductionPräsentation Presentation2013
9Eberhard, Sebastian ; Hetzl, Stefan Guessing induction formulas for proofs of universal statementsPräsentation Presentation2013