Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Roland Bol

Original record
Institution
Universiteit van Amsterdam
Year
1991
Country
Netherlands
MGP identifier
216465

Dissertation: Loop Checking in Logic Programming

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy