杰拉尔德·彼得森。 具有约束的整套缩减。 （英语） 兹比尔1509.03047 Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。449, 381-395 (1990). 小结：我们表明，通过限制某些规则中允许的替换，可以在不需要特殊的统一算法的情况下找到包含不定向方程（如交换性）的方程理论的完整约简集。我们发展了这种约束约简的理论，并展示了半格、布尔代数和三元布尔代数的完备集。关于整个系列，请参见[Zbl 0925.00070号]。 引用于6文件 MSC公司： 03B35型 证明和逻辑操作的机械化 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Peterson}，莱克特。注释计算。科学。449、381--395（1990年；Zbl 1509.03047） 全文： 内政部 参考文献： [1] L.Bachmair、N.Dershowitz和D.Plaisted，“无故障完成”代数结构方程求解学术讨论会的初步会议记录1987年5月4日至6日，得克萨斯湖畔，由微电子和计算机技术公司、M.Nivat和H Ait-Kaci主办。 [2] T.Baird、G.Peterson和R.Wilkerson，“模关联性、交换性和同一性的完整约简集”计算机科学课堂讲稿355重写技术与应用，RAT-89，N.Dershowitz编辑，Springer-Verlag，1989年，第29-44页·Zbl 1503.68286号 [3] C.Chang和R.Lee，符号逻辑与力学定理证明，学术出版社，纽约，1973年·兹比尔0263.68046 [4] H.Comon，“项代数中不等式的求解”第五交响曲。计算机科学中的逻辑, 1990. [5] N.Dershowitz，“重写的终止”J.符号计算, 3 (1987), 69-116. ·Zbl 0637.68035号 [6] N.Dershowitz、M.Okaba和G.Sivakumar，“规范条件重写系统”计算机科学课堂讲稿310,第九届自动扣减国际会议E.Lusk和R.Overbeek编辑，1988年，538-549·Zbl 0667.68043号 [7] R.Göbel，“归纳证明全球有限项重写系统的完成”凯泽斯劳滕大学SEKI-REPORTSR-86-061986年6月。 [8] R.Göbel，“地面汇流”计算机科学课堂讲稿256重写技术与应用，RTA-87，P.Lescanne编辑，Springer-Verlag，1987年，156-167·Zbl 0639.68029号 [9] A.A.Grau，“三元布尔代数”美国数学学会公报, 53 (1947), 567-572. ·Zbl 0031.25001号 [10] J.-P.Jouannaud和H.Kirchner，“方程组模的一组规则的完成”SIAM计算机杂志, 15 (1986), 1155-1194. ·Zbl 0665.03005号 [11] D.Knuth和P.Bendix，“泛代数中的简单单词问题”抽象代数中的计算问题J.Leech主编，佩加蒙出版社，英国牛津，1970年，263-297·Zbl 0188.04902号 [12] D.Kapur、P.Narendran和F.Otto，“术语重写系统的基础影响”，技术报告87-6，纽约州立大学计算机科学系，纽约州奥尔巴尼，12222·Zbl 0699.68041号 [13] S.MacLane和G.Birkhoff，代数《麦克米伦公司》，纽约，1967年·Zbl 0153.32401号 [14] M.H.A.Newman，“关于‘等价’组合定义的理论”数学年刊43/2 (1942), 223-243. ·Zbl 0060.1251 [15] G.Peterson和M.Stickel，“一些等式理论的全套约简，”计算机协会期刊, 28 (1981), 233-264. ·Zbl 0479.68092号 [16] M.Stickel，“结合交换函数的统一算法”计算机协会期刊，28（1981），423-434·Zbl 0462.68075号 [17] F.Winkler和B.Buchberger，“Knuth-Bendix算法中消除不必要约简的标准”数学学术讨论会42,计算机科学中的代数、组合数学和逻辑1983年，匈牙利基尔·Zbl 0607.03003号 [18] H.Zhang和D.Kapur，“只考虑完井程序中的一般叠加，”计算机科学课堂讲稿355,重写技术与应用，RTA-89施普林格·弗拉格，1989年，511-527·Zbl 1503.68171号 [19] H.Zhang和J.-L.Remy，“语境改写”计算机科学课堂讲稿202重写技术与应用由Jean-Pierre Jouannaud编辑，1985年，46-62·Zbl 0576.68012号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。