Space in weak propositional proof systems

Ilario Bonacina


This thesis was defended on December 14, 2015 at the Sapienza University of
Rome for a Ph.D. title in Computer Science under the supervision of Prof. Nicola
Galesi. It was awarded “Best Italian PhD Thesis in Theoretical Computer Science,
2016”. The results presented in this thesis build on top of the following
publications [9, 12–16].

Full Text:



  • There are currently no refbacks.