Department of Computer Science, K.U.Leuven, Belgium;
ITU, Copenhagen, Denmark;
机译:使用约束处理规则和数组约束归纳进行程序验证
机译:约束处理规则中的软件约束传播和求解
机译:逻辑算法符合CHR:具有规则优先级的约束处理规则的元复杂性结果
机译:约束处理规则的交易
机译:用于处理电子商务交易中的争议的体系结构方面和原型系统。
机译:从封面开始:几何约束(从头到尾的排除规则)可能是具有60个以上顶点的富勒烯中孤立五边形规则的基础
机译:约束处理规则中的事务