DSIC, Universitat Politecnica de Valencia, Spain,CS Dept. University of Illinois at Urbana-Champaign, IL, USA;
CS Dept. University of Illinois at Urbana-Champaign, IL, USA;
Conditional constraints; program analysis; termination;
机译:通过术语重写自动完成逻辑程序的终止证明
机译:通过术语重写自动完成逻辑程序的终止证明
机译:在经典高阶逻辑中嵌入和自动化条件逻辑
机译:逻辑和条件约束的模型在终止上的自动证明
机译:过程理论(模型,证明系统,编程语言,程序综合,时间逻辑)。
机译:多种出血的自动闭环复苏:绵羊模型中的模糊逻辑和决策表控制器之间的比较
机译:逻辑和条件约束的模型在终止上的自动证明
机译:用于逻辑和纯prolog程序的模块化终止证明