Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Bruno Woltzenlogel Paleo

Original record
Institution
Not recorded
Year
Not recorded
Country
Austria
MGP identifier
174268

Dissertation: A General Analysis of Cut-Elimination by Resolution

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy