Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Alexander Serebrenik

Original record
Institution
Katholieke Universiteit Leuven
Year
2003
Country
Belgium
MGP identifier
166888

Dissertation: Termination analysis of logic programs

Advisor 1

Students 14

NameInstitutionYearStudents
B. Jeroen ArnoldusTechnische Universiteit Eindhoven20110
John BusingeTechnische Universiteit Eindhoven20130
Nathan Wilmar CasseeTechnische Universiteit Eindhoven20240
Yanjindulam Yanja DajsurenTechnische Universiteit Eindhoven20152
Felipe EbertUniversidade Federal de Pernambuco, Recife20190
Monika GuptaIndian Institute of Technology Delhi20190
Yaping Luna LuoTechnische Universiteit Eindhoven20160
Josh Gerrit Martinus MengerinkTechnische Universiteit Eindhoven20180
Tukaram Bhagwat MuskeTechnische Universiteit Eindhoven20200
Weslley Silva TorresTechnische Universiteit Eindhoven20210
Marcel (Marinus Franciscus) van AmstelTechnische Universiteit Eindhoven20120
Arjan Pieter van der MeerTechnische Universiteit Eindhoven20140
Bogdan Nicolae VasilescuTechnische Universiteit Eindhoven20141
Nan YangTechnische Universiteit Eindhoven20230
Genealogy