The PhD defence of K. Hagens is on 8 December 2026 at 10:30 am.
Rewriting Induction for Higher-OrderConstrained Rewriting
Tuesday 8 December 2026, 10:30 am- PhD candidate
- K. Hagens
- Promotor(s)
- prof. dr. J.H. Geuvers
- Co-promotor(s)
- dr. C.L.M. Kop
- Organisation
- Faculty of Science
- Location
- Aula