×
法国贝勒加德;皮埃尔·莱斯坎

竣工终止。 （英语） Zbl 0723.68056号

申请。代数工程通讯。计算。 1，No.2，79-96（1990）.
摘要：本文给出了一个证明术语重写系统终止的完成过程。其工作原理如下。给定一个假定终止的项重写系统R和一个用于转换R的项重写系T，完成构建一个辅助项重写系统S，即由T转换的R系统。与称为局部合作的属性相关联的S和T的终止意味着R的终止。如果过程终止，则提供R终止的机械证据。

引用于16文件

MSC公司：

第68季度第42季度 语法和重写系统

关键词：

基础良好;完成;终止

软件：

版次
PDF格式BibTeX公司 XML格式引用
\textit{F.Bellegarde}和\textit{P.Lescanne}，应用。代数工程通讯。计算。1，编号2，79-96（1990年；Zbl 0723.68056）
全文： 内政部

参考文献：

[1] 巴赫迈尔：方程理论中的一致性证明。1988年美国纽约州立大学石溪分校技术报告
[2] Bachmair，L.，Dershowitz，N.：交换、转换和终止。收录于：Siekmann，J.（编辑）《自动演绎第八届会议论文集》，《计算机科学讲义》，第230卷，第5-20页。柏林，海德堡，纽约：施普林格1986·Zbl 0642.68036号
[3] Bachmair，L.，Dershowitz，N.，Xiang，J.：等式证明的顺序。在：论文集Symp。计算机科学中的逻辑。IEEE，346–357（1986）
[4] Bellegarde，F.：重写FP表达式上的系统以减少产生的序列数。科学。计算。编程6，11–34（1986）·Zbl 0613.68012号 ·doi:10.1016/0167-6423（86）90017-1
[5] Bellegarde，F.：功能标准表达式的使用。南希一世大学博士学位，1985年
[6] Bellegarde，F.，Lescanne，P.：基于转换技术的终止证明。内部报告86-R-034。南希信息中心，1986年·Zbl 0621.68022号
[7] Bellegarde，F.，Lescanne，P.：转换顺序。In:第12 Coll。代数和编程中的树。塔普索特。计算机科学课堂讲稿，第249卷，第69-80页。柏林，海德堡，纽约：施普林格1987·Zbl 0621.68022号
[8] BenCherifa，A.，Lescanne，P.：通过多项式解释及其实现终止重写系统。科学。计算。编程9，137-160（1987）·Zbl 0625.68036号 ·doi:10.1016/0167-6423（87）90030-X
[9] Curien，P.L.：范畴组合子、序列算法和函数编程。纽约：皮特曼出版社，1986年·Zbl 0643.68004号
[10] Dauchet，M.：用左线重写规则模拟图灵机。收录：Dershowitz，N.（编辑）《重写技术和应用第三届会议论文集》，教堂山。美国北卡罗来纳州计算机科学讲义，第355卷，第109-120页。柏林，海德堡，纽约：施普林格1989
[11] Dershowitz，N.：术语重新编写系统的订单。理论。计算。科学17，279–301（1982）·Zbl 0525.68054号 ·doi:10.1016/0304-3975（82）90026-3
[12] Dershowitz，N.：重写的终止。J.塞姆。计算3，69–116（1987）·兹比尔0637.68035 ·doi:10.1016/S0747-7171（87）80022-6
[13] Dershowitz，N.，Jouannaud，J.-P.：重写系统。收录于：Van Leuven（编辑）《理论计算机科学手册》。纽约州阿姆斯特丹：北荷兰，1990年
[14] Galabertier，B.：执行定义部分转换。技术报告，南希信息中心，1988年
[15] Geser，A.：相对终止。1990年西德帕索大学论文
[16] Hardin，T.，Laville，A.：CCL上重写系统SUBST终止的证明。理论。计算。科学46，305–312（1986）·Zbl 0618.68031号 ·doi:10.1016/0304-3975（86）90035-6
[17] Huet，G.：合流约简：抽象属性和术语重写系统的应用。J.协会计算。机械27，797–821（1980）第18届计算机科学基础研讨会的初步版本，IEEE，1977年·Zbl 0458.68007号
[18] Huet，G.，Lankford，D.-S.：关于术语重写系统的一致暂停问题。技术报告283，法国拉布利亚，1978年
[19] Kamin，S.，Lévy，J.-J.：推广递归路径排序的实验。1980。未出版的手稿
[20] Lankford，D.S.：关于证明术语重写系统是Noetherian的。技术报告，路易斯安那理工大学数学系，拉斯顿洛杉矶分校，1979年
[21] Lescanne，P.：完成程序作为过渡规则+控制。收录：Diaz，M.，Orejas，F.（编辑）TAPSOFT’89。计算机科学课堂讲稿，第351卷，第28-41页。柏林，海德堡，纽约：施普林格1989
[22] Plaisted，D.：一种递归定义的顺序，用于证明术语重写系统的终止。技术报告R-78-943，伊利诺伊大学计算机科学系，1978年
[23] Rusinovitch，M.：重温子方根排序和递归分解排序的路径。J.塞姆。计算3117-132（1987）·Zbl 0638.68107号 ·doi:10.1016/S0747-7171（87）80023-8
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。