Ilario Bonacina
Autor von "Space in Weak Propositional Proof Systems" .
Ilario Bonacina did his PhD at the Computer Science Department at Sapienza Università di Roma under the supervision of Nicola Galesi. After a postdoc in the Theoretical Computer Science Group at KTH Royal Institute of Technology (Stockholm), he is currently a postdoc in the Computer Science Department at Universitat Politècnica de Catalunya (Barcelona). His research interests include computational complexity and mathematical logic.

Space in Weak Propositional Proof Systems
Hardcover
erschienen am 24.01.2018
