...
机译:势头/复杂性对应的证明
机译:广义势头/复杂性对应
机译:电路复杂度,证明复杂度和多项式身份测试:理想的证明系统
机译:电路复杂性,证明复杂性和多项式身份测试:理想的证明系统
机译:关于简洁证明的美德:扩大证明复杂度,以证明复杂度中的时空权衡
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:通过结合分子模拟和实验来了解生理学的复杂性:阴离子通道作为概念证明
机译:在某些证据系统中对强度相等k-tautologies的证明复杂度措施的调查