摘要：NP = coNP = PSPACE用Prawitz的自然演绎（ND）为基础的提案进行了新颖的证明论树转换方法，结合了Hudelmaier的无削减序演算。本文概述了我们的证明。
作者：L. Gordeev, E.H. Haeusler
论文ID：2201.04118
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-01-12
PDF 下载： 英文版 中文版pdf翻译中