Ebner, Gabriel
Prefix title Titel (vorangestellt)
Dipl.-Ing. Dr.techn.
Full name Familienname, Vorname
Ebner, Gabriel
Postfix title Titel (nachgestellt)
BSc
Date issued
Results 1-2 of 2 (Search time: 0.005 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 |