陶,贾 非循环认知DL(mathcal)的PSpace算法{自动高度控制}5_m\). (英语) Zbl 1468.68217号 J.汽车。推理 63,第3期,539-555(2019).MSC公司:68T27型 03B42号 68立方英尺 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Tao},J.Autom。推理63,No.3,539--555(2019;Zbl 1468.68217) 全文: 内政部
萨尔瓦多卢卡斯;劳尔·古铁雷斯 有序一阶理论逻辑模型的自动综合。 (英语) Zbl 1398.68095号 J.汽车。推理 60,第4期,465-501(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{R.Gutiérrez},J.Autom。推理60,第4期,465-501(2018;兹bl 1398.68095) 全文: 内政部 链接
大卫·萨贝尔;曼弗雷德·施密特·沙乌 允许部分函数的严格函数程序属性的二值逻辑。 (英语) Zbl 1267.68088号 J.汽车。推理 50,第4期,383-421(2013).MSC公司:68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Sabel}和\textit{M.Schmidt-Schau},J.Autom。推理50,No.4,383--421(2013;Zbl 1267.68088) 全文: 内政部
Chang、Liang;石忠志;顾天龙;赵玲忠 用于表示和推理动作的一系列动态描述逻辑。 (英语) 兹比尔1276.68142 J.汽车。推理 49,第1期,1-52页(2012).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Chang}等人,J.Autom。推理49,No.1,1-52(2012;Zbl 1276.68142) 全文: 内政部
陶,贾;乔拉·斯卢茨基;瓦桑特·霍纳瓦尔 PS(聚苯乙烯)步伐非循环模型化的tableau算法({mathcal{ALC}})。 (英语) 兹比尔1291.68387 J.汽车。推理 49,第4期,551-582(2012).MSC公司:68T27型 03B42号 03B35型 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Tao}等人,J.Autom。推理49,No.4,551--582(2012;Zbl 1291.68387) 全文: 内政部
奥托普,简 \(E)-常数统一与一般(E)统一。 (英语) Zbl 1260.03019号 J.汽车。推理 48,第3期,363-390(2012).MSC公司:03B35型 第68季度第42季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Otop},J.Autom。推理48,No.3,363--390(2012;Zbl 1260.03019) 全文: 内政部
维罗尼克·科尔蒂尔;斯特凡尼德劳恩 安全协议中两个知识概念的可决定性和组合结果。 (英语) Zbl 1242.68099号 J.汽车。推理 48,第4期,441-487(2012).MSC公司:68第25页 03B70号 68个M12 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}和\textit{S.Delaune},J.Autom。推理48,No.4,441--487(2012;Zbl 1242.68099) 全文: 内政部
Franz巴德;拉斐尔·佩尼亚洛萨 基于自动机的公理精确定位。 (英语) Zbl 1213.68589号 J.汽车。推理 45,第2期,91-129(2010).MSC公司:68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{R.Peñaloza},J.Autom。推理45,No.2,91--129(2010;Zbl 1213.68589) 全文: 内政部
毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 \(\mathcal{BCDL}\):基本构造描述逻辑。 (英语) Zbl 1197.03027号 J.汽车。推理 44,第4期,371-399(2010).MSC公司:03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferrari}等人,J.Autom。推理44,第4期,第371-399页(2010年;Zbl 1197.03027) 全文: 内政部
德米特里·察尔科夫;伊恩·霍洛克斯;彼得·施奈德(Peter F.Patel-Schneider)。 优化表达描述逻辑的术语推理。 (英语) 兹比尔1132.68742 J.汽车。推理 39,第3号,277-316(2007).MSC公司:68T27型 68立方英尺 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Tsarkov}等人,J.Autom。推理39,No.3,277--316(2007;Zbl 1132.68742) 全文: 内政部
卡斯滕·卢茨;马贾·米利奇奇 具有具体域和一般TBox的描述逻辑的tableau算法。 (英语) 兹比尔1113.68090 J.汽车。推理 38,编号1-3,227-259(2007).MSC公司:68吨15 68T27型 68立方英尺 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}和\textit{M.Milić},J.Autom。推理38,No.1--3,227--259(2007;Zbl 1113.68090) 全文: 内政部
阿南塔拉曼,湿婆;巴利亚特·纳伦德兰;迈克尔·鲁西诺维奇 统一模ACUI加分布公理。 (英语) Zbl 1063.03006号 J.汽车。推理 33,第1期,1-28页(2004年).MSC公司:03B35型 68吨15 第68季度第42季度 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Anantharaman}等人,J.Autom。推理33,No.1,1--28(2004;Zbl 1063.03006) 全文: 内政部
汉斯·尤根·奥巴赫;克里斯托夫·韦登巴赫 关于Skolem函数假设的注记。 (英语) Zbl 0879.03006号 J.汽车。推理 15,第2期,267-275(1995). 审核人:G.Dowek(勒切斯奈) MSC公司:03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}和\textit{C.Weidenbach},J.Autom。推理15,No.2,267--275(1995;Zbl 0879.03006) 全文: 内政部
钱振宇;托比亚斯·尼普科 lambda结石的归约和统一与亚型的一般概念。 (英语) Zbl 0808.03008号 J.汽车。推理 12,第3号,389-406(1994).MSC公司:03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Qian}和\textit{T.Nipkow},J.Autom。推理12,No.3,389--406(1994;Zbl 0808.03008) 全文: 内政部
英国伯克。 部分交换半群中的统一。 (英语) Zbl 0812.68076号 J.汽车。推理 第2209-223号第12页(1994年).MSC公司:68宽10 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Burke}、J.Autom。推理12,No.2,209--223(1994;Zbl 0812.68076) 全文: 内政部
亚历山大·布代特 争夺(AC)统一竞赛。 (英语) Zbl 0802.68137号 J.汽车。推理 11,第2期,185-212(1993).MSC公司:68吨15 第68季度第42季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Boudet},J.Autom(美国汽车制造商协会)。推理11,第2185-212号(1993年;Zbl 0802.68137) 全文: 内政部
马克·弗兰岑 希尔伯特的第十个问题是统一型零。 (英语) Zbl 0781.68075号 J.汽车。推理 9,第2期,169-178(1992).MSC公司:第68季度第42季度 03B25号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Franzen},J.Autom。推理9,No.2,169--178(1992;Zbl 0781.68075) 全文: 内政部
沃纳·纳特 统一层次是不可确定的。 (英语) 兹伯利0744.03016 J.汽车。推理 7,第3期,369-381(1991).MSC公司:03B35型 03天35分 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{W.Nutt},J.Autom(美国汽车制造商协会)。推理7,No.3,369--381(1991;Zbl 0744.03016) 全文: 内政部
理查德·施密德;汉斯·阿尔伯特·施耐德;托马斯·菲尔科恩 使用扩展PROLOG解决狮子和独角兽难题。 (英语) Zbl 0677.68099号 J.汽车。推理 5,第3期,403-408(1989).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Schmid}等人,J.Autom。推理5,No.3,403--408(1989;Zbl 0677.68099) 全文: 内政部