机译:扩大Powerset域的运营商
Department of Mathematics, University of Parma, Italy;
abstract interpretation; abstract domain refinement; powersets; widening operators; convex polyhedra;
机译:形成过程及其在集合论决策问题中的应用:Ⅱ。 Powerset和单例运算符,有限谓词
机译:形成过程及其在集合论决策问题中的应用:Ⅱ。 Powerset和单例运算符,有限谓词
机译:关于模糊幂集运算符的一些说明
机译:扩展Powerset域的运算符
机译:C2中具有连续符号的Hankel算子的紧性
机译:无界域上的伪单调算子和非线性椭圆边值问题
机译:扩展powerset域的运营商