Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"polynomial calculus"
"Proof Complexity"
"2021"
Pubblicazioni
Pubblicazioni
The power of negative reasoning
2021 - Leibniz International Proceedings in Informatics, LIPIcs
de Rezende, S. F.;
Lauria, M.
; Nordstrom, J.; Sokolov, D.
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma