Complexity theory; Calculus; Hafnium; Additives; Lips; Servers; MONOS devices;
机译:一种计算实多项式的单调算术电路的复杂度下界的方法
机译:证明的可行运算:有界算术的证明逻辑
机译:证明的直觉逻辑的算术完整性
机译:从积极和直觉的有限算术到单调证明复杂性
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:具有两个参数的算术和几何均值表示特殊拟算术均值的尖锐边界
机译:自由逻辑中的有界算术(证明理论和复杂性)