WITHDRAWN: The complexity of propositional proofs

From MaRDI portal

MaRDI QIDQ7092129arXivFDO

Authors G. V. Bokov

Publication date 2016

Published in arXiv


arXiv classification

math.LO















This page was built for publication: WITHDRAWN: The complexity of propositional proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7092129)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=WITHDRAWN:_The_complexity_of_propositional_proofs&oldid=106587290"
Powered by MediaWiki