Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Jan Henryk Komorowski

Original record
Institution
Linköpings Universitet
Year
1981
Country
Sweden
MGP identifier
268198

Dissertation: A specification of an abstract Prolog machine and its application to partial evaluation

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 2

NameInstitutionYearStudents
Marcin KierczakUppsala universitet20100
Staal A. VinterboNot recorded—1
Genealogy