Ebner, Gabriel

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

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

Own Publications Eigene Publikationen

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

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