Uwe Egly
Original record- Institution
- Technische Universität Darmstadt
- Year
- 1994
- Country
- Germany
- MGP identifier
- 10809
Dissertation: Function Introduction and the Complexity of Proofs
Advisor 1
- L. Wolfgang (Leonhard) BibelInstitution not recorded
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Sarah Alice Gaggl | Not recorded | — | 0 |
| Hans Tompits | Not recorded | — | 1 |
| Stefan Woltran | Not recorded | — | 10 |