克莱门·奥伯特 亚对数统一布尔证明网。 （英语） Zbl 1457.68113号 Jean-Yves Marion（编辑），隐式计算复杂性发展第二次研讨会，德国萨尔布吕肯，2011年4月2日至3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）75，15-27（2012）。 小结：通过使用证明-程序对应，Terui能够比较两种并行计算模型：布尔电路和乘法线性逻辑的证明网。Mogbil等人给出了一个logspace转换，使我们能够将其计算能力与统一复杂度类进行比较。本文提出了（mathrm{AC}^0）中的一种新的翻译，并重点讨论了一致布尔证明网的一个更简单的受限概念。然后，我们可以对恒定深度的电路进行编码，并比较logspace下的复杂度类，这些类与之前的翻译是无法达到的。有关整个系列，请参见[Zbl 1392.68025号]. 引用于1文件 MSC公司： 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 03楼52 线性逻辑和其他子结构逻辑的理论证明 2006年第68季度 作为计算模型的网络和电路；电路复杂性 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}，电子。程序。西奥。计算。科学。（EPTCS）75，15--27（2012；Zbl 1457.68113） 全文： arXiv公司 链接