Pubblicazioni

A framework for space complexity in algebraic proof systems

2016 - JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY
Bonacina, Ilario; Galesi, Nicola

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma