×
穆罕默德·阿迪;克洛德·基什内尔

AC统一竞赛：系统解决方法、实施和基准。 （英文） 兹比尔0769.68053

J.塞姆。计算。 14，第1期，第51-70页（1992年）.
摘要：我们提出了一种关联交换统一算法及其在C语言中的实现。主要的一点是，规范和程序都基于方程组的求解。提出了评估该算法实现性能的基准。它们不仅在时间和空间上有所改进，而且在生成的整套统一器的大小上也有所改进。

引用于4文件

MSC公司：

68瓦30 符号计算和代数计算

关键词：

在C中实现;联合交换统一算法;规范;程序;求解方程组

软件：

ORME公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Adi}和\textit{C.Kirchner}，J.Symb。计算。14，No.1，51--70（1992；Zbl 0769.68053）
全文： 内政部

参考文献：

[1] Adi，M.，Etude et implementation d’algorithms d’unification associative exchange，（信息时代的Mémoire de dea en informatique（1988），南锡一世大学）
[2] Adi，M.，Calculs联合与交换。系统练习曲（UNIF_{AC}）
[3] 伯特·D。；Drabik，P。；Echahed，R。；Decelrfayt，O。；德梅塞，B。；肖本斯，P.-Y。；Wautier，F.，（SUN工作站规范语言LPG-版本1.8的参考手册（1989年），LIFIA-Grenoble：LIFIA-Grenoble France），内部报告
[4] Boudet，A.，《统一制度》。应用aux axiomes d’associavité，communivite，identityéet幂等，aux anneaux Booléens，et aux groupes Abéliens，（巴黎大学博士（1990），巴黎南大学：巴黎南奥赛大学（法国））
[5] Boudet，A.，《方程理论组合中的统一：一种有效的算法》，（Stickel，M.E.，《第十届自动演绎国际会议论文集》，第十届国际自动演绎会议论文集，凯泽斯劳滕（德国）。第十届自动扣除国际会议记录。《第十届自动扣除国际会议论文集》，凯泽斯劳滕（德国），《计算机科学讲义》，第449卷（1990年），斯普林格-Verlag）·Zbl 1509.68115号
[6] Boudet，A.，竞争自动控制-统一竞赛（1991），LRI，研究报告·Zbl 0802.68137号
[7] Boudet，A。；孔特让，E。；Devie，H.，一种新的AC统一算法和求解丢番图方程的新算法，（第五届IEEE计算机科学逻辑研讨会论文集。第五届计算机科学逻辑IEEE研讨会论文集，费城（美国宾夕法尼亚州）（1990）），289-299
[8] Bürckert，H.-J。；Herold，A。；卡普尔，D。；西克曼，J。；斯蒂克尔，M.E。；特普，M。；Zhang，H.，开启AC-unification竞赛，《自动推理杂志》，4，1，465-474（1988）
[9] Bürckert，H.-J。；Herold，A。；Schmidt-Schauß，M.，《关于方程理论、统一性和可判定性》，《符号计算杂志》，8，1&2，3-50（1989），统一专题。第二部分·Zbl 0684.03004号
[10] 克劳森，M。；Fortenbacher，A.，线性丢番图方程的有效解，（Kirchner，C.，Unification（1990），学术出版社：伦敦学术出版社），377-392
[11] 孔特让，E。；Devie，H.，Résolution de systèmes linéaires d’équations diophantienes，巴黎科学院（1991）·Zbl 0733.65028号
[12] Domenjoud，E.，方程（αx_1+……+αx_p）的最小统一数
[13] Domenjoud，E.，《求解线性丢番图方程组：代数方法》，（Tarlecki，A.，《第16届计算机科学数学基础国际研讨会论文集》，第16届国际计算机科学数学理论研讨会论文集，Kazimierz Dolny（波兰）。第16届计算机科学数学基础国际研讨会论文集。第16届计算机科学数学基础国际研讨会论文集，Kazimierz Dolny（波兰），计算机科学讲稿，第520卷（1991年），Springer-Verlag，141-150·兹比尔0782.11008
[14] Fages，F.，关联交换统一，（Shostak，R.，《第七届自动扣除国际会议论文集》，第七届国际自动扣除会议论文集，纳帕谷（美国加利福尼亚州）。第七届自动扣除国际会议记录。第七届自动扣除国际会议论文集，纳帕谷（美国加利福尼亚州），计算机科学讲义，第170卷（1984年），斯普林格·弗拉格出版社，194-208年·Zbl 0547.03012号
[15] Fortenbacher，A.，《代数统一》（Diplomarbeit（1983），卡尔斯鲁厄大学信息研究所）
[16] Goguen，J.A。；Meseguer，J.，EQLOG:逻辑编程的等式、类型和通用模块，（De Groot，D.；Lindstrom，G.，《逻辑编程.函数、关系和方程》（1986），Prentice-Hall）·Zbl 0498.03018号
[17] Herold，A。；Siekmann，J.，阿贝尔半群中的统一，自动推理杂志，3247-283（1987）·Zbl 0637.68106号
[18] Herold，A.，《等式理论中统一算法的组合》（博士论文（1987），德国凯泽斯劳滕大学）·Zbl 0679.03002号
[19] Huet，G.，生成齐次线性丢番图方程解的基础的算法，《信息处理快报》，7，3，144-147（1978）·Zbl 0377.10011号
[20] Hullot，J.-M.，《形式汇编》（Compilation de Formes Canoniques dans les Théorieséquatonelles）（《特洛伊西梅周期博士》（1980），巴黎南大学：巴黎南奥赛大学（法国））
[21] Jouannaud，J.-P。；Kirchner，C.，《在抽象代数中求解方程：统一的基于规则的调查》，（Lassez，J.-L.；Plotkin，G.，《计算逻辑》。纪念艾伦·罗宾逊的论文（1991），麻省理工学院出版社：麻省理学学院出版社剑桥（马萨诸塞州，美国）），257-321，第8章·Zbl 0793.0302号
[22] 卡普尔，D。；Narendran，P.，集统一和匹配问题的NP-完备性，（Siekmann，J.，《第八届自动扣除国际会议论文集》，第八届国际自动扣除会议论文集，牛津（英国）。第八届自动扣除国际会议记录。《第八届自动扣除国际会议论文集》，牛津（英国），计算机科学讲义，第230卷（1986年），斯普林格-Verlag）·Zbl 0643.68054号
[23] 卡普尔，D。；Narendran，P.，计算一组完整的AC-unifier的双指数复杂度，（LICS’92会议录）。LICS’92会议记录，圣克鲁斯（美国加利福尼亚州）（1992年）
[24] Kapur，D.，线性丢番图方程非负基解的改进上界，（技术报告（1989），纽约州立大学：纽约州立大学奥尔巴尼分校）
[25] Kirchner，C.，《Méthodes et outils de conception sysématique d'algorithmes d'unified dans les theorieséquationnelles》（南希大学教育博士（1985））
[26] Kirchner，C.，《从组合理论中的统一到新的AC统一算法》，（aít-Kaci，H.；Nivat，M.，《代数结构中方程的解析》，第2卷：重写技术（1989），学术出版社：纽约学术出版社），171-210·Zbl 1109.68521号
[27] 基什内尔，C。；基什内尔，H。；Rusinovitch，M.，《带符号约束的演绎》，《人工智能评论》，4，3，9-52（1990），《自动演绎专刊》
[28] Lambert，J.-L.，Uneborne pour les génératers des solutions entières positives d'Une quation diophantiene linéaire，巴黎科学委员会，305，1，39-40（1987）·Zbl 0615.0022号
[29] Lankford，D.S.，整数系数线性方程的非负整数基算法，（技术报告（1987），路易斯安那理工大学：路易斯安那技术大学（美国），拉斯顿，LA 71272）·Zbl 0693.68021号
[30] Lescane，P.，通过转换规则+控制实现完成：ORME，（Kirchner，H.；Wechler，W.，《第二届代数和逻辑编程国际研讨会论文集》，Nancy（法国）。第二届代数和逻辑程序设计国际研讨会论文集。《第二届代数和逻辑程序设计国际研讨会论文集》，南希（法国），《计算机科学讲义》，第463卷（1990年），施普林格出版社，262-269·Zbl 0763.68011号
[31] 林肯，P。；Christian，J.，《联合-交换统一中的冒险》（Kirchner，C.，unification（1990），学术出版社：伦敦学术出版社），393-416
[32] 利弗西，M。；Siekmann，J.，《袋和套的统一》（技术报告（1976年），卡尔斯鲁厄大学信息研究所I）
[33] Pottier，L.，线性丢番图系统的最小解：边界和算法，（Book，R.V.，《重写技术和应用第四届会议论文集》。《重写技术与应用第四次会议论文集，科莫（意大利）。第四届改写技术与应用会议论文集。《改写技术与应用第四届会议论文集》，科莫（意大利），《计算机科学讲稿》，第488卷（1991年），施普林格出版社，162-173·Zbl 1503.11152号
[34] Romeuf，J.-F.，线性丢番图系统的解（1988），LIR&鲁昂大学
[35] Romeuf，J.-F.，解两个线性丢番图方程组的多项式算法，（技术报告（1989），卢昂信息实验室：法国卢昂信息研究实验室），LITP
[36] Schmidt-Schauß，M.，《任意不相交方程理论组合中的统一》（Kirckner，C.，《统一》（1990），学术出版社：伦敦学术出版社），217-266
[37] Siekmann，J.，《统一理论》（Kirchner，C.，《统一》（1990），学术出版社：伦敦学术出版社），1-68·Zbl 0704.68096号
[38] Stickel，M.E.，《结合交换函数的完整统一算法》，（《第四届国际人工智能联合会议论文集》，第四届人工智能国际联席会议论文集，第比利斯（苏联）（1975年）），71-76
[39] Stickel，M.E.，关联交换函数的统一算法，计算机协会杂志，28423-434（1981）·Zbl 0462.68075号
[40] Yelick，K.，《有限方程理论的组合统一算法》，（Jouannaud，J.-P.，《重写技术和应用第一届会议论文集》。《重写技术与应用第一届大会论文集》，第戎（法国）。重写技术和应用第一届会议记录。第一届重写技术与应用会议论文集，第戎（法国），计算机科学讲义，第202卷（1985年），施普林格出版社：施普林格出版社，第戎（法国），301-324
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。