Institut fuer Informatik Heinrich-Heine-Universitaet Duesseldorf 40225 Duesseldorf, Germany;
polynomial degree bounds; complexity classes; turing hardness; gap-definability; relativization theory;
机译:Graver度不由真实电路度多项式限定
机译:使用变量的多项式来解决相对的N-KODY问题
机译:多项式时间内的Darboux多项式和有界度的有理第一积分的计算
机译:一种Goguen命题逻辑系统中的相对发散度和相对一致性的理论
机译:正交多项式和Schrodinger算子的广义有界变化摄动的谱理论。
机译:有界代数整数集上的积分值多项式
机译:程度取决于多项式和相对论理论
机译:多项式零点的多重性对多项式向量场的轨迹和非自治度的界限