奇塔·R·巴拉尔。;苏布拉曼尼亚,V.S。 逻辑程序和缺省逻辑的稳定和可拓类理论。 (英语) Zbl 0763.03017号 J.汽车。推理 8,第3期,345-366(1992).MSC公司:03B60号 03B70号 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.R.Baral}和\textit{V.S.Subrahmanian},J.Autom。推理8,No.3,345--366(1992;Zbl 0763.03017) 全文: 内政部
亚瑟·德尔彻。;西蒙·卡西夫 高效的并行术语匹配和反统一。 (英语) Zbl 0784.68047号 J.汽车。推理 9,第3期,391-406(1992).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Delcher}和\textit{S.Kasif},J.Autom。推理9,No.3,391--406(1992;Zbl 0784.68047) 全文: 内政部
G.M.库珀。;麦卡龙,K.W。;巴勒姆,K.V。;佩里·K·J。 关于反统一的并行复杂性的说明。 (英语) Zbl 0784.68042号 J.汽车。推理 第9期,第3期,第381-389页(1992年).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Kuper}等人,J.Autom。推理9,No.3,381--389(1992;Zbl 0784.68042) 全文: 内政部
迪帕克·卡普尔;巴利亚特·纳伦德兰 结合交换算子统一问题的复杂性。 (英语) Zbl 0781.68076号 J.汽车。推理 9,第2期,261-288(1992).MSC公司:2012年第68季度 68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}和\textit{P.Narendran},J.Autom。推理9,第2期,261-288(1992年;Zbl 0781.68076) 全文: 内政部
马克·弗兰岑 希尔伯特的第十个问题是统一型零。 (英语) 兹比尔0781.68075 J.汽车。推理 9,第2期,169-178(1992).MSC公司:2012年第68季度 03B25号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Franzen},J.Autom。推理9,No.2,169--178(1992;Zbl 0781.68075) 全文: 内政部
埃里克·多曼纽德 关于AC统一的技术说明。方程\(\alpha x_1+\cdots+\alpha-x_p\doteq_{AC}\beta y_1+\cdots+\ beta y_q\)的最小统一数。 (英语) Zbl 0768.68068号 J.汽车。推理 8,第1号,39-44(1992).MSC公司:2012年第68季度 2004年11月 PDF格式BibTeX公司 XML格式引用 \textit{E.Domenjoud},J.Autom。推理8,No.1,39-44(1992;Zbl 0768.68068) 全文: 内政部