Nao Hirokawa
Original record- Institution
- Universität Innsbruck
- Year
- 2006
- Country
- Austria
- MGP identifier
- 164396
Dissertation: Automated Termination Analysis for Term Rewriting
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Aart MiddeldorpVrije Universiteit Amsterdam · 1990
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Dominik Klein | Japan Advanced Institute of Science and Technology | 2012 | 0 |
| Kiraku Shintani | Japan Advanced Institute of Science and Technology | 2023 | 0 |