A resolution-style proof system for DQBF

From MaRDI portal
(Redirected from Publication:1680262)

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_resolution-style_proof_system_for_DQBF&oldid=68124831"
Powered by MediaWiki