弗雷德里克·布兰基 重写演绎模中的模。 （英语） Zbl 1038.68061号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。票据计算。科学。2706, 395-409 (2003). 摘要：我们研究了代数构造演算中重写模方程组的终止问题，这是构造演算的一个扩展，由高阶重写规则定义函数和谓词。在之前的工作中，我们基于可计算闭包的概念定义了一般语法条件，以确保重写和（β）-约简组合的终止。这里，我们证明了当考虑重写模方程组时，如果由这些方程生成的等价类是有限的，方程是线性的，并且满足基于可计算闭包概念的一般语法条件，那么这个结果是保持不变的。这包括像结合性和交换性这样的方程，并提供了终止模方程的原始处理方法。有关整个系列，请参见[Zbl 1029.00060号]. 引用于三文件 MSC公司： 第68季度第42季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{F.布兰基}，莱克特。票据计算。科学。2706395--409（2003年；Zbl 1038.68061） 全文： 链接