机译:复数可数性的另一种证明
EnumerationGeorg Cantordiagonal process;
机译:复杂圆弧和曲线系统上的多项式的渐近性:带有可数减质量集的度量的情况指向系统
机译:实数和复数的集合是可数的
机译:电路复杂度,证明复杂度和多项式身份测试:理想的证明系统
机译:可数无限向量折叠为半可数无限矩阵的置换与矩阵范数之间的关系
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:无界的边数为无穷大的阶梯多边形
机译:复杂数字的可修复性的另一个证明