Univ. Fed. de Minas Gerais, DCC-ICEX Belo Horizonte 31270-010, Brasil;
overloading; ad-hoc polymorphism; constrained polymorphism; type constraints; constraint-set satisfiability;
机译:上下文相关的重载的终止约束集可满足性和简化算法
机译:上下文相关的重载的终止约束集可满足性和简化算法
机译:图像光谱的数学外推,用于约束集设计和集合理论超分辨率
机译:过载的约束集可满足性
机译:基于FPGA的可靠性检查
机译:独特地满足
机译:约束设置对重载的可满足性
机译:测量分区聚类算法的约束集效用