Small Depth Proof Systems
From MaRDI portal
Publication:2849945
DOI10.1007/978-3-642-40313-2_52zbMath1400.68092arXiv1307.4897MaRDI QIDQ2849945
Andreas Krebs, Meena Mahajan, Nutan Limaye, 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
68Q25: Analysis of algorithms and problem complexity
68Q45: Formal languages and automata
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
03F20: Complexity of proofs