阿勒姆·本·切里法;皮埃尔·莱斯坎 通过多项式解释终止重写系统及其实现。 (英语) 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) 全文: 内政部