CS Department, University of New Mexico, Albuquerque, NM, USA;
rnCS Department, University of New Mexico, Albuquerque, NM, USA;
机译:通过术语重写自动完成逻辑程序的终止证明
机译:通过术语重写自动完成逻辑程序的终止证明
机译:通过重写术语重写Java字节码的自动终止分析
机译:一个术语重写方法对势在必行计划的自动终止分析
机译:一种用于并发编程语言设计和语义的重写方法。
机译:使用半自动程序对PET / CT进行多病变分子成像比较分析的实用方法
机译:对命令式程序的自动终止分析的术语重写方法
机译:终止术语重写:从多种排序到单一排序