戴尔·米勒 逻辑编程的证明理论基础综述。 (英语) 兹伯利07776351 理论与实践。日志。程序。 22,第6号,859-904(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller},理论与实践。日志。程序。22,第6号,859--904(2022;Zbl 07776351) 全文: 内政部 arXiv公司
叶卡捷琳娜·科门丹茨卡亚;德米特里·罗兹普洛哈斯;海宁·巴索尔德 新常态:我们不能消除合并结石的切口,但我们可以探索它们。 (英语) Zbl 1477.03241号 理论与实践。日志。程序。 20,第6号,990-1005(2020).MSC公司:05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Komendantskaya}等人,理论与实践。日志。程序。20,第6号,990--1005(2020;Zbl 1477.03241) 全文: 内政部 arXiv公司
舒伯特,阿列克西;巴威·乌尔兹琴 一阶答案集编程作为构造性证明搜索。 (英语) Zbl 1451.68067号 理论与实践。日志。程序。 18,编号3-4,673-690(2018).MSC公司:68N17号 03B20型 03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.舒伯特}和\textit{P.Urzyczyn},理论与实践。日志。程序。18、编号3--4、673--690(2018;Zbl 1451.68067) 全文: 内政部 arXiv公司
弗兰蒂舍克·法尔卡;叶卡捷琳娜·科门丹茨基;凯文·哈蒙德 依赖类型推理和术语合成的证明相关Horn子句。 (英语) Zbl 1451.68323号 理论与实践。日志。程序。 18,编号3-4,484-501(2018).MSC公司:68伏15 03B35型 68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Farka}等人,《理论与实践》。日志。程序。18、编号3--4、484--501(2018;Zbl 1451.68323) 全文: 内政部 arXiv公司
德拉本特,Włodzimierz 逻辑+控制:关于程序构建和验证。 (英语) Zbl 1425.68051号 理论与实践。日志。程序。 18,第1号,1-29(2018).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent},理论与实践。日志。程序。18,编号1,1--29(2018;Zbl 1425.68051) 全文: 内政部 arXiv公司
詹姆斯·切尼;阿尔贝托·莫米利亚诺 \(alpha\mathrm{Check}):机械化元理论模型检查器。 (英语) Zbl 1379.68236号 理论与实践。日志。程序。 17,第3号,311-352(2017).MSC公司:60年第68季度 03B70号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.切尼}和\textit{A.莫米利亚诺},理论与实践。日志。程序。17,No.3,311--352(2017;Zbl 1379.68236) 全文: 内政部 arXiv公司
叶卡捷琳娜·科门丹茨卡亚;李,岳 逻辑程序设计中的生产性同余运算。 (英语) 兹比尔1422.68025 理论与实践。日志。程序。 17,编号5-6,906-923(2017).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Komendantskaya}和\textit{Y.Li},理论与实践。日志。程序。17、编号5--6906--923(2017;Zbl 1422.68025) 全文: 内政部 arXiv公司
娜塔莉亚·斯图洛娃;JoséF·莫拉莱斯。;曼努埃尔五世(Manuel V.Hermenegildo)。 通过非侵入性属性缓存进行实际运行时检查。 (英语) Zbl 1379.68102号 理论与实践。日志。程序。 15,No.4-5,726-741(2015).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{N.Stulova}等人,《理论与实践》。日志。程序。15、编号4--5、726--741(2015;Zbl 1379.68102) 全文: 内政部 arXiv公司
李·奈什;哈拉尔德·森德加德 逻辑编程中的真理与信息。 (英语) Zbl 1302.68053号 理论与实践。日志。程序。 14,第6期,803-840(2014).MSC公司:68N17号 03B50号 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Naish}和\textit{H.Söndergaard},理论与实践。日志。程序。14,编号6803-840(2014;兹bl 1302.68053) 全文: 内政部 arXiv公司
伊桑·K·杰克逊。 域特定语言的模块系统。 (英语) Zbl 1307.68017号 理论与实践。日志。程序。 14,No.4-5,771-785(2014).MSC公司:68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Jackson},理论与实践。日志。程序。14、编号4--5、771--785(2014;Zbl 1307.68017) 全文: 内政部 arXiv公司
马洁菲;法兰克·勒;大卫·伍德;亚历山德拉·拉索;豪尔赫·洛博 分布式计算的声明性方法:规范、执行和分析。 (英语) 兹比尔1286.68051 理论与实践。日志。程序。 13,No.4-5,815-830(2013).MSC公司:68N17号 68宽15 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.Ma}等人,《理论与实践》。日志。程序。13、编号4--5、815--830(2013;Zbl 1286.68051) 全文: 内政部
安德烈·戈林;罗马克里希南,C.R。;斯科特·斯莫尔卡。 使用概率表逻辑编程进行模型检查。 (英语) Zbl 1260.68062号 理论与实践。日志。程序。 12,编号4-5,681-700(2012).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gorlin}等人,《理论与实践》。日志。程序。12、编号4--5、681--700(2012;Zbl 1260.68062) 全文: 内政部 arXiv公司
德拉本特,Włodzimierz 魔术变换的简单正确性证明。 (英语) Zbl 1255.68050号 理论与实践。日志。程序。 12,第6号,929-936(2012).MSC公司:68N17号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent},理论与实践。日志。程序。12,第6号,929--936(2012;Zbl 1255.68050) 全文: 内政部 arXiv公司
M.V.Hermenegildo。;布埃诺,F。;M.卡罗。;López-García,P。;E.梅拉。;莫拉莱斯,J.F。;G.普埃布拉。 Ciao及其设计理念概述。 (英语) Zbl 1244.68019号 理论与实践。日志。程序。 12,编号1-2,219-252(2012).MSC公司:68N17号 68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Hermenegildo}等人,《理论与实践》。日志。程序。12、编号1--2、219--252(2012;Zbl 1244.68019) 全文: 内政部