雷内·蒂曼；吉尔根·吉斯尔 用于术语重写的大小更改终止。 （英语） Zbl 1038.68072号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。票据计算。科学。第2706264-278页（2003年）。 小结：2001年，C.S.Lee、N.D.Jones和A.M.Ben-Amram提出了一种新的规模变化原则，用于自动验证功能程序的终止。我们扩展了这一原理，以证明任意项重写系统（TRS）的终止性和最内层终止性。此外，我们将该方法与现有的TRS终止分析技术（如递归路径排序或依赖对）进行了比较。事实证明，对于许多可以用标准重写技术处理的示例来说，大小更改原则本身是失败的，但也有一些TRS成功了，而现有的重写技术却失败了。为了利用它们各自的优势，我们展示了如何将大小改变原则与经典排序和依赖对相结合。通过这种方法，我们获得了一种新的TRS自动终止证明方法，该方法比以前的方法更强大。有关整个系列，请参见[Zbl 1029.00060号]. 引用于5文件 MSC公司： 第68季度第42季度 语法和重写系统 68甲18 函数编程和lambda演算 PDF格式BibTeX公司 XML格式引用 \textit{R.Thiemann}和\textit{J.Giesl}，莱克特。票据计算。科学。2706、264--278（2003年；Zbl 1038.68072） 全文： 链接