Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Jurriaan Rot

Original record
Institution
Radboud Universiteit Nijmegen
Year
2015
Country
Netherlands
MGP identifier
294261

Dissertation: Enhanced coinduction

Advisors 3

Students 3

NameInstitutionYearStudents
Todd SchmidUniversity College London20230
Gerco van HeerdtUniversity College London20200
Jana WagemakerRadboud Universiteit Nijmegen20220
Genealogy