Nicola Galesi
Original record- Institution
- Universitat Politècnica de Catalunya
- Year
- 2000
- Country
- Spain
- MGP identifier
- 98231
Dissertation: On the Complexity of Propositional Proof Systems
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Maria Luisa BonetUniversity of California, Berkeley · 1991
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Ilario Bonacina | Università di Roma La Sapienza | 2015 | 0 |
| Massimo Lauria | Università di Roma La Sapienza | 2009 | 0 |
| Fariba Ranjbar | Università di Roma La Sapienza | 2021 | 0 |