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.

Ilario Bonacina

Original record
Institution
Università di Roma La Sapienza
Year
2015
Country
Italy
MGP identifier
207361

Dissertation: Space in weak propositional proof systems

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy