Cynthia Kop
Original record- Institution
- Vrije Universiteit Amsterdam
- Year
- 2012
- Country
- Netherlands
- MGP identifier
- 199989
Dissertation: Higher order termination: automatable techniques for proving termination of higher-order term rewriting systems
Advisors 2
- Femke van RaamsdonkVrije Universiteit Amsterdam · 1996
- Jan Willem KlopUniversiteit Utrecht · 1980
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Liye Guo | Radboud Universiteit Nijmegen | 2025 | 0 |
| Deivid Rodrigues do Vale | Radboud Universiteit Nijmegen | 2024 | 0 |