伊万·奥格（Ivan E.Auger）。;克里希那穆尔蒂，M.S。 一元统一问题的并行算法。 （英语） Zbl 0604.68035号 比特币 25, 302-306 (1985). 介绍了一元统一问题。给出了一个解决该问题的（O（log^2n））并行算法，并证明了其正确性。 引用于1文件 MSC公司： 68问题65 抽象数据类型；代数规范 65年第68季度 算法和问题复杂性分析 68吨15 定理证明（演绎、解析等）（MSC2010） 03年10月 经典一阶逻辑 PDF格式BibTeX公司 XML格式引用 \textit{I.E.Auger}和\textit{M.S.Krishnamoorthy}，BIT 25，302--306（1985；Zbl 0604.68035） 全文： 内政部 参考文献： [1] S.A.Cook，《计算复杂性概述》，通信ACM 26，6（1983年6月），400–408·Zbl 0622.68039号 ·doi:10.1145/358141.358144 [2] R.M.Burstall和J.Darlington，开发递归程序的转换系统，J.ACM 24，1（1977年1月），44–67·兹伯利0343.68014 ·数字对象标识代码：10.1145/321992.321996 [3] C.Dwork，P.C.Kanellakis和J.C.Mitchell，《论统一的顺序性》。未出版，（1983年11月）·Zbl 0588.68045号 [4] S.Fortune和J.Wyllie，随机存取机器中的并行性，Proc。ACM交响乐团（Ann.10）。《计算理论》，（1978），114-118·Zbl 1282.68104号 [5] D.S.Hirschberg、A.K.Chandra和D.V.Sarwate，《并行计算机上计算连接组件》，通信ACM 22，8（1979），461-464·Zbl 0429.68061号 ·doi:10.1145/359138.359141 [6] D.Kapur、M.S.Krishnamoorthy和P.Narendran，《一种新的线性统一算法》，GE第82CRD100号报告（1982年4月）。 [7] A.Martelli和U.Montanari，一种有效的统一算法。事务处理。项目。语言和系统。（ACM）4，2（1982年4月），258–282·Zbl 0478.68093号 ·doi:10.1145/357162.357169 [8] M.S.Paterson和M.N.Wegman，线性统一，J.Compute。系统。科学。16，2（1978年4月），158–167·Zbl 0371.68013号 ·doi:10.1016/0022-0000（78）90043-0 [9] J.A.Robinson，《计算逻辑：统一计算》。《InMachine Intelligence》，第6卷，B.Meltzer和D.Michie（编辑）。爱丁堡大学出版社，苏格兰爱丁堡，1971年，第63-72页。 [10] J.A.Robinson，一种基于解析原理的面向机器的逻辑。J.ACM 12，1（1965年1月），23–41·Zbl 0139.12303号 ·数字对象标识代码：10.1145/321250.321253 [11] Y.Shiloach和U.Vishkin，《O（log n）并行连接性算法》，《算法3的J》，（1982），57-67·Zbl 0494.68070号 ·doi:10.1016/0196-6774（82）90008-6 [12] J.Wyllie，《并行计算的复杂性》，康奈尔大学TR 79-387，（1979年8月）。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。