Femke van Raamsdonk
Ph.D. Vrije Universiteit Amsterdam 1996
Dissertation:
Confluence and Normalisation for Higher-Order Rewriting
Advisor: Jan Willem Klop
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Ketema, Jeroen | Vrije Universiteit Amsterdam | 2006 | |
| Kop, Cynthia | Vrije Universiteit Amsterdam | 2012 | 1 |
According to our current on-line database, Femke van Raamsdonk has 2 students and 3 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 73547 for the advisor ID.