机译:使用依赖对重写的模块化终结证明
LuFG Informatik II, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany;
机译:具有右浅依赖对的术语重写系统的终止可判定性和最内层终止
机译:具有右浅依赖对的术语重写系统的终止可判定性和最内层终止
机译:相依类型理论模态重写中的相依对终止
机译:使用依赖对的改进的模块化终端证明
机译:一种用于语言设计,演化和分析的模块化重写方法。
机译:通过依赖对的相对终止
机译:使用依赖对重写的模块化终止证明
机译:通过反向匹配边界对字符串重写系统进行终止证明