Jürgen Giesl
Original record- Institution
- Technische Universität Darmstadt
- Year
- 1992
- Country
- Germany
- MGP identifier
- 17034
Dissertation: Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Christoph WaltherInstitution not recorded
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Carsten Fuhs | Not recorded | — | 0 |
| Peter Schneider-Kamp | Not recorded | — | 2 |