A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Space in weak propositional proof systems
2016
Bulletin of the European Association for Theoretical Computer Science
Every year, the Italian Chapter of the EATCS gives an award for the Best Italian PhD Thesis in Theoretical Computer Science. The award is presented at the annual Italian Conference on Theoretical Computer Science (ICTCS), where the award recipient delivers a presentation on her/his work. This year's award went to Ilario Bonacina for his thesis Space in weak propositional proof systems, which was supervised by Nicola Galesi at the University of Rome "La Sapienza". Ilario's thesis contributes to
dblp:journals/eatcs/Bonacina16
fatcat:7oxgzcxtdnf4bfpncyd27bhshe