Thomas Arts
Original record- Institution
- Universiteit Utrecht
- Year
- 1997
- Country
- Netherlands
- MGP identifier
- 158459
Dissertation: Automatically Proving Termination and Innermost Normalisation of Term Rewriting Systems
Mathematics Subject Classification: 68—Computer science
Advisors 2
- John-Jules Charles MeyerVrije Universiteit Amsterdam · 1985
- Hantsje ZantemaUniversiteit van Amsterdam · 1983
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Juan José Sánchez Penas | Universidade da Coruña | 2006 | 0 |