Ebner, Gabriel
Prefix title Titel (vorangestellt)
Dipl.-Ing. Dr.techn.
Full name Familienname, Vorname
Ebner, Gabriel
Postfix title Titel (nachgestellt)
BSc
Main Affiliation Organisationszuordnung
Date issued
Results 1-2 of 2 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | ![]() | Ebner, Gabriel | Inductive theorem proving based on tree grammars | Thesis Hochschulschrift | 2021 |
2 | ![]() | Ebner, Gabriel | Finding loop invariants using tree grammars | Thesis Hochschulschrift | 2015 |