×
特默尔库西亚

具有序列变量和灵活的arity符号的模式统一。 （英语） Zbl 1270.68130号

Patrick Eklund等人，《联合国海洋法公约》，2002年。非经典逻辑中的统一。2002年7月12日，西班牙马拉加ICALP卫星研讨会上的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》66，第5期，第52-69页（2002年）。
概述：描述了一个包含独立变量和序列变量、自由常数、自由固定和灵活的arity函数符号和模式的理论的统一过程。该过程列举了一组替代/约束对，它们构成了最小的完整统一集。
有关整个系列，请参见[Zbl 1266.68015号].

引用于1文件

MSC公司：

第68季度第42季度 语法和重写系统
03B60号 其他非经典逻辑

软件：

枣灰蝶属；数学软件
PDF格式BibTeX公司 XML格式引用
\textit{T.库西亚}，电子。注释Theor。计算。科学。66，第5号，52--69（2002；Zbl 1270.68130）
全文： 内政部

参考文献：

[1] F.Ajili和E.Contejean。线性丢番图方程和不等式的完全求解，无需添加变量。在U.Montanari和F.Rossi的编辑中，第一届约束程序设计原理与实践国际会议论文集第1949卷计算机科学课堂讲稿; F.Ajili和E.Contejean。线性丢番图方程和不等式的完全求解，无需添加变量。在编辑U.Montanari和F.Rossi中，第一届约束程序设计原理与实践国际会议论文集第1949卷计算机科学课堂讲稿
[2] B.布赫伯格。Mathematica作为重写语言。编辑T.Ida、A.Ohori和M.Takeichi，第二届富士函数与逻辑编程国际研讨会论文集; B.布赫伯格。Mathematica作为重写语言。编辑T.Ida、A.Ohori和M.Takeichi，第二届富士函数与逻辑编程国际研讨会论文集
[3] Buchberger，B.，《个人沟通》（2001年）
[4] B.Buchberger、C.Dupre、T.Jebelean、F.Kriftner、K.Nakagawa、D.Vasaru和W.Windsteiger。Theorema项目：进度报告。在M.Kerber和M.Kohlhase的编辑中，符号计算和自动推理。微积分学2000年会刊; B.Buchberger、C.Dupre、T.Jebelean、F.Kriftner、K.Nakagawa、D.Vasaru和W.Windsteiger。Theorema项目：进度报告。在M.Kerber和M.Kohlhase的编辑中，符号计算和自动推理。2000年《结石学报》·Zbl 1017.68110号
[5] Colmerauer，A.，《Prolog III简介》，CACM，33，7，69-91（1990）
[6] M.R.Genesereth先生。Lisp 2.0手册的Epilog。认识论公司，美国帕洛阿尔托，1995年。；M.R.Genesereth先生。Lisp 2.0手册的Epilog。Epistemics Inc.，美国帕洛阿尔托，1995年。
[7] M.R.Genesereth和R.E.Fikes。知识交换格式，3.0版参考手册。技术报告Logic-92-1，美国斯坦福大学计算机科学系，1992年6月。；M.R.Genesereth和R.E.Fikes。知识交换格式，3.0版参考手册。技术报告Logic-92-1，美国斯坦福大学计算机科学系，1992年6月。
[8] S.Ginsburg和X.S.Wang。通过Rs操作进行模式匹配：朝向查询序列数据的统一方法。在第11届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集; S.Ginsburg和X.S.Wang。通过Rs操作进行模式匹配：朝向查询序列数据的统一方法。在第十一届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会会议记录
[9] G.Grahne和E.Waller。如何使SQL代表字符串查询语言。编辑R.Connor和A.Mendelzon，结构化和半结构化数据库编程研究问题。第七届数据库编程语言国际研讨会论文集第1949卷计算机科学课堂讲稿; G.Grahne和E.Waller。如何使SQL代表字符串查询语言。编辑R.Connor和A.Mendelzon，结构化和半结构化数据库编程研究问题。第七届数据库编程语言国际研讨会论文集第1949卷计算机科学课堂讲稿·Zbl 1044.68580号
[10] 哈马纳先生。用序列重写术语。在第一届国际理论研讨会会议记录; M.哈马纳。用序列重写术语。在第一届国际理论研讨会会议记录
[11] Knuth，D.E。；Bendix，P.B.，《泛代数中的简单单词问题》（Leech，J.，《抽象代数中的计算问题》（1967），佩加蒙出版社：牛津佩加蒙出版公司），263-298，发表于1970年·Zbl 0188.04902号
[12] T.库西亚。用序列变量和灵活的arity符号在方程理论中求解和证明。博士论文。可从以下位置获得http://www.risc.uni-linz.ac.at/people/tkutsia/pub/Thesis.pdf; T.库西亚。用序列变量和灵活的arity符号在方程理论中求解和证明。博士论文。可从以下位置获得http://www.risc.uni-linz.ac.at/people/tkutsia/pub/Thesis.pdf ·Zbl 1023.03525号
[13] T.库西亚。与序列变量和灵活的arity符号的统一及其与模式项的扩展。编辑J.Calmet、B.Benhamou、O.Caprotti、L.Henocque和V.Sorge，人工智能、自动推理和符号计算。2002年AICS和Calculemus联合会议记录第2385卷人工智能课堂讲稿; T.库西亚。与序列变量和灵活的arity符号的统一及其与模式项的扩展。编辑J.Calmet、B.Benhamou、O.Caprotti、L.Henocque和V.Sorge，人工智能、自动推理和符号计算。2002年AICS和Calculemus联合会议记录第2385卷人工智能课堂讲稿·Zbl 1072.68580号
[14] Makanin，G.S.，自由半群上方程的可解性问题，数学。苏联斯博尼克，32，2（1977）·Zbl 0396.20037号
[15] G.Mecca和A.J.Bonner。序列、数据日志和传感器。在第十四届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会会议记录; G.Mecca和A.J.Bonner。序列、数据日志和传感器。在第十四届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会会议记录·Zbl 0917.68053号
[16] Schulz，K.U.，广义方程的统一和变换，J.自动推理，11，2149-184（1993）·Zbl 0802.68136号
[17] M.Widera和C.Beierle。具有可变arity的函数符号的术语重写方案。技术报告280，Prakt。Informatik VIII，FernUniversität Hagen，德国，2001年。；M.Widera和C.Beierle。具有可变arity的函数符号的术语重写方案。技术报告280，Prakt。Informatik VIII，FernUniversität Hagen，德国。
[18] Wolfram，S.，《数学书》（1999），剑桥大学出版社和Wolfram Research，Inc·Zbl 0924.65002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。