Prefix title Titel (vorangestellt)
Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Ebner, Gabriel
 
Postfix title Titel (nachgestellt)
BSc
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Ebner Gabriel - 2021 - Inductive theorem proving based on tree grammars.pdf.jpgEbner, Gabriel Inductive theorem proving based on tree grammarsThesis Hochschulschrift2021
2Ebner Gabriel - 2015 - Finding loop invariants using tree grammars.pdf.jpgEbner, Gabriel Finding loop invariants using tree grammarsThesis Hochschulschrift2015