机译:有界算术中搜索问题的分类及其可定义性
机译:有界算术中搜索问题的分类及其可定义性
机译:部分可定义的强制和有界算术
机译:定义整数并证明算术电路的下界
机译:关于在计数层次结构中定义整数并证明算术电路的下界
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:具有两个参数的算术和几何均值表示特殊拟算术均值的尖锐边界
机译:通过证明符号表征有界算术中可定义的搜索问题
机译:算术史。在此方法采用名称算法后搜索算盘系统的痕迹。在16世纪以来的所有时间的证据,已知这种古老方法的共同算术