玛丽亚·阿尔普特;莫雷诺,法拉斯基;德国维达尔 用于分析等式Horn程序的合成语义基础。 (英语) Zbl 0872.68107号 西奥。计算。科学。 165,第1期,133-169(1996).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。165,编号1,133--169(1996;Zbl 0872.68107) 全文: 内政部
弗兰兹·巴德;沃纳·纳特 交换/单体理论的组合问题或代数如何帮助方程统一。 (英语) Zbl 0853.03008号 申请。代数工程通讯。计算。 7,第4期,309-337(1996).MSC公司:03C05号机组 08A70号 18E05型 2016年60月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{W.Nutt},应用。代数工程通讯。计算。7,第4号,309--337(1996;Zbl 0853.03008) 全文: 内政部
迈克尔·泰尔舍尔;托尔斯滕·绍布 通过演绎规划进行默认推理。 (英语) Zbl 0842.68080号 J.汽车。推理 15,第1期,1-40页(1995年).MSC公司:68T27型 68N17号 68吨15 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{M.Thielscher}和\textit{T.Schaub},J.Autom。推理15,No.1,1-40(1995;Zbl 0842.68080) 全文: 内政部
玛丽亚·阿尔普特;莫雷诺,法拉斯基;乔治·列维 等式逻辑编程的增量约束满足。 (英语) Zbl 0884.68032号 西奥。计算。科学。 142,第1期,第27-57页(1995年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。142,编号1,27-57(1995;Zbl 0884.68032) 全文: 内政部
斯特芬·Hölldobler;约瑟夫·施尼伯格 一种新的演绎规划方法。 (英语) Zbl 0711.68026号 新一代计算。 8,第3期,225-244(1990).MSC公司:68N17号 68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Hölldobler}和\textit{J.Schneeberger},新一代计算机。8,第3号,225--244(1990;Zbl 0711.68026) 全文: 内政部
斯特芬·Hölldobler 条件方程理论和完整的变换集。 (英语) 兹伯利0706.03028 西奥。计算。科学。 75,编号1-2,85-110(1990).MSC公司:03B70号 03C05号机组 68N17号 PDF格式BibTeX公司 XML格式引用 \文本{S.Hölldobler},Theor。计算。科学。75,编号1--2,85-110(1990;Zbl 0706.03028) 全文: 内政部
让·H·盖利尔。;韦恩·斯奈德 通用E-统一的完整转换集。 (英语) Zbl 0686.68024号 西奥。计算。科学。 67,编号2-3,203-260(1989).MSC公司:68瓦30 68吨15 68问题65 03B40型 08A50 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Gallier}和\textit{W.Snyder},Theor。计算。科学。67,编号2--3203-260(1989;Zbl 0686.68024) 全文: 内政部 链接
乌尔里希·富巴赫;斯特芬·Hölldobler;约阿希姆·施雷贝尔 霍恩方程理论和副调制。 (英语) Zbl 0682.68091号 J.汽车。推理 5,第3号,309-337(1989). 审核人:S.G.沃罗比奥夫 MSC公司:68吨15 03B35型 03元52分 03C65型 PDF格式BibTeX公司 XML格式引用 \textit{U.Furbach}等人,J.Autom。推理5,No.3,309--337(1989;Zbl 0682.68091) 全文: 内政部
让·H·盖利尔。 用方程测试接地Horn子句不满足性的快速算法。 (英语) Zbl 0641.68146号 J.塞姆。计算。 4, 233-254 (1987).MSC公司:68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Gallier},J.Symb。计算。4233--254(1987年;Zbl 0641.68146) 全文: 内政部