Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Harry Roy Lewis

Original record
Institution
Harvard University
Year
1974
Country
United States
MGP identifier
87927

Dissertation: Herbrand Expansions and Reductions of the Decision Problem

Advisor 1

Students 9

NameInstitutionYearStudents
Norman Howard CohenHarvard University19800
Lawrence (Larry) Alan DenenbergHarvard University19840
William Randolph FranklinHarvard University197818
Cesar Alejandro Galindo-LegariaHarvard University19920
William Ian GasarchHarvard University19858
Michael E. KarrHarvard University19840
Marios MavronicolasHarvard University19920
John Henry ReifHarvard University197720
Gary Wayne SabotHarvard University19880
Genealogy