阿勒姆·本·切里法;皮埃尔·莱斯坎 通过多项式解释终止重写系统及其实现。 （英语） Zbl 0625.68036号 科学。计算。程序。 9, 137-159 (1987). 本文描述了一个初等过程在重写规则实验室REVE中的实际实现，该初等过程检查多项式之间的不等式，并用于证明重写系统的终止性，特别是在更困难的结合交换重写系统的情况下，给出了完整的特征。 引用于1审查引用于53文件 MSC公司： 99年第68季度 计算理论 68瓦30 符号计算和代数计算 68N99型 软件理论 关键词：重写规则实验室REVE;多项式之间的不等式;重写系统的终止 软件：版次 PDF格式BibTeX公司 XML格式引用 \textit{A.Ben Cherifa}和\textit{P.Lescanne}，科学。计算。程序。9、137--159（1987年；Zbl 0625.68036） 全文： 内政部