Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Massimo Lauria

Original record
Institution
Università di Roma La Sapienza
Year
2009
Country
Italy
MGP identifier
152884

Dissertation: Degree Lower Bounds For Algebraic Proof Systems

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy