Femke van Raamsdonk

MathSciNet


Ph.D. Vrije Universiteit Amsterdam 1996 Netherlands
Dissertation: Confluence and Normalisation for Higher-Order Rewriting

Advisor: Jan Willem Klop

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Ketema, JeroenVrije Universiteit Amsterdam2006
Kop, CynthiaVrije Universiteit Amsterdam2012

According to our current on-line database, Femke van Raamsdonk has 2 students and 2 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.