Small Depth Proof Systems

DOI10.1007/978-3-642-40313-2_52zbMath1400.68092arXiv1307.4897OpenAlexW2532978575MaRDI QIDQ2849945

Andreas Krebs, Nutan Limaye, Meena Mahajan, Karteek Sreenivasaiah

Publication date: 20 September 2013

Published in: ACM Transactions on Computation Theory, Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.4897

zbMATH Keywords

circuit complexityproof complexityproof circuitssmall-depth proofs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

This page was built for publication: Small Depth Proof Systems