机译:Kolmogorov的复杂性,电路和算术形式理论的强度
机译:Kolmogorov的复杂性,电路和算术形式理论的强度
机译:形式算术理论的Kolmogorov复杂度和特征常数
机译:KOLMOGOROV复杂性的形式语言理论的新方法
机译:使用算术描述语言的十进制算术电路的形式设计
机译:使用计算机代数技术的有限域算术电路的可扩展形式验证。
机译:统计复杂度:将Kolmogorov复杂度与整体方法相结合
机译:Kolmogorov复杂性形式语言理论新探
机译:公式复杂性理论中的形式幂级数方程