Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Ruud Sommerhalder

Original record
Institution
Technische Universiteit Delft
Year
1992
Country
Netherlands
MGP identifier
298161

Dissertation: A resolution method for some systems of modal logic

Advisor 1

Students 5

NameInstitutionYearStudents
Leon David AronsonTechnische Universiteit Delft19990
Hans (Jean Marie Guillaume Gérard) de NivelleTechnische Universiteit Delft19950
Joannes (Hans) Paulus Maria de VreughtTechnische Universiteit Delft19930
Joannes (Hans) Franciscus Maria ToninoTechnische Universiteit Delft19970
Marcel P. van LohuizenTechnische Universiteit Delft20010
Genealogy