Space in Weak Propositional Proof Systems

Autor:	Ilario Bonacina
Rok vydání:	2017
DOI:	10.1007/978-3-319-73453-8
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1e2f45f7bd56be03f3f5a0855bccf1d1 https://doi.org/10.1007/978-3-319-73453-8 Zobrazit plný text záznamu