Konrad Slind
Original record- Institution
- Technische Universität München
- Year
- 1999
- Country
- Germany
- MGP identifier
- 133744
Dissertation: Reasoning about Terminating Functional Programs
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Tobias NipkowVictoria University of Manchester · 1987
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Scott Owens | University of Utah | 2007 | 0 |