G.M.库珀。;麦卡龙，K.W。;巴勒姆，K.V。;佩里·K·J。 关于反统一的并行复杂性的说明。 （英语） Zbl 0784.68042号 J.自动化。推理 第9期，第3期，第381-389页（1992年）. 摘要：反统一器是统一器的双重概念，即它是以输入项为实例的最具体的术语。我们证明了反统一的问题是在NC中，而不是已知的完全统一。 引用于4文件 MSC公司： 65年第68季度 算法和问题复杂性分析 2012年第68季度 语法和重写系统 关键词：反统一;数控;统一 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Kuper}等人，J.Autom。推理9，No.3，381--389（1992；Zbl 0784.68042） 全文： 内政部 参考文献： [1] Bar-OnI公司。和维什金大学？计算树形式的最优并行生成？，ACM TOPLAS 7（2），348-357（1985）·Zbl 0564.68037号 ·数字对象标识代码：10.1145/3318.3478 [2] 科尔，R？并行合并排序？，程序中。第27届IEEE计算机科学基础年会，IEEE，第511-516页（1986年）。 [3] 科尔·R·和维什金·U·？列表、树和图形问题应用程序的近似和精确调度？，程序中。第27届IEEE计算机科学基础年会，IEEE，第478-491页（1986年）。 [4] 德沃克公司。，卡内拉基斯。，和米切尔？关于统一的顺序性？，《逻辑编程杂志》1，35-50（1984）·Zbl 0588.68045号 ·doi:10.1016/0743-1066（84）90022-0 [5] 德沃克公司。，卡内拉基斯。，和斯托克迈耶？术语匹配的并行算法？，SIAM J.计算。17(4), 711-731 (1988). ·Zbl 0651.68110号 ·数字对象标识代码：10.1137/0217046 [6] Fortune，S.和Wyllie，J？随机存取机器中的并行性？，程序中。第十届ACM年会。《计算理论》，美国计算机学会，第114-118页（1978年）·Zbl 1282.68104号 [7] 休特·G·？一阶、二阶、…阶语言方程的求解。。。，w？、？，巴黎第七大学博士论文（1976年）。 [8] 马尔泰利亚。和蒙塔那利大学？一种高效的统一算法？，事务处理。编程语言和系统4（2），258-282（1982）·Zbl 0478.68093号 ·doi:10.1145/357162.357169 [9] Marriott，K.、Naish，L.和Lassez，J.-L.，《大多数特定逻辑程序》，ICLP，第909-923页（1988年）·Zbl 0878.68036号 [10] 皮彭格，N？在同时资源边界上？，程序中。第20届IEEE年会。关于公司基础。科学。，IEEE，第307-311页（1979年）。 [11] 普洛金，G？关于归纳推广的注记？，《机器智能5》（编辑：B.Meltzer和D.Michie），第153-163页（1970年）·Zbl 0219.68045号 [12] 帕特森·M。和WegmanM？线性统一？，J.公司。系统科学。16(2), 158-167 (1978). ·兹伯利0371.68013 ·doi:10.1016/0022-0000（78）90043-0 [13] 雷诺兹，J？归纳推广的变换？，《机器智能6》（编辑：B.Meltzer和D.Michie），第101-124页（1971年）。 [14] 拉梅什尔。，维玛。M.、KrishnaprasadT.、。，和罗摩克里希纳尼。五、？并行计算机上的术语匹配？，《逻辑编程杂志》6（3），213-218（1989）·Zbl 0685.68037号 ·doi:10.1016/0743-1066（89）90014-9 [15] 美国维什金？同步并行计算SYMBOL？调查？，纽约大学科朗研究所技术代表（1983年）·Zbl 0536.68026号 [16] Yasuura，H？关于统一的并行计算复杂性？，技术代表TR83-01，Yajima实验室（1983年）。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。