Mundhenk, Martin; Wei, Felix An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic. (English) Zbl 1522.68336 Comput. Complexity 23, No. 4, 637-669 (2014). MSC: 68Q60 03B20 06D20 68Q17 PDFBibTeX XMLCite \textit{M. Mundhenk} and \textit{F. Wei}, Comput. Complexity 23, No. 4, 637--669 (2014; Zbl 1522.68336) Full Text: DOI
Maciel, Alexis; Nguyen, Phuong; Pitassi, Toniann Lifting lower bounds for tree-like proofs. (English) Zbl 1341.03087 Comput. Complexity 23, No. 4, 585-636 (2014). MSC: 03F20 03D15 68Q15 68Q17 PDFBibTeX XMLCite \textit{A. Maciel} et al., Comput. Complexity 23, No. 4, 585--636 (2014; Zbl 1341.03087) Full Text: DOI