机译:垂直于理性封闭下垂直于标称安全epsilon的多项式时限算法
Univ Luxembourg CSC Luxembourg Luxembourg;
ISTI CNR Pisa Italy;
Univ Cape Town CAIR Cape Town South Africa;
Description logic EL; Defeasible reasoning; Nonmonotonic reasoning; Rational closure;
机译:垂直于理性封闭下垂直于标称安全epsilon的多项式时限算法
机译:平面多项式矢量场的有理一阶积分和DARBOUX多项式的有效算法
机译:关于对称函数的量化算法和ε误差多项式的最小度的一个注记
机译:两种熟悉的传递闭包算法,不允许多项式时间,亚线性空间实现
机译:在确定整数在多项式时间内是否为质数的算法上。
机译:建立共识MUL树的多项式时间算法
机译:一个$ O(n ^ {\ epsilon})$空间和多项式时间算法 定向分层平面图中的可达性