Small depth proof systems

DOI10.1007/978-3-642-40313-2_52MaRDI QIDQ6828886zbMATH OpenFDO

Authors A. Krebs, Nutan Limaye, Meena Mahajan, Karteek Sreenivasaiah

Publication date 20 September 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25) Complexity of proofs (03F20)

This page was built for publication: Small depth proof systems

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