佩德雷希·迪诺;萨尔瓦多鲁杰里 逻辑程序验证。 (英语) Zbl 0947.68026号 J.日志。程序。 39,编号1-3,125-176(1999).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Pedreschi}和\textit{S.Ruggieri},J.Log。程序。39,编号1--3,125-176(1999;Zbl 0947.68026) 全文: DOI程序
马可·科米尼;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo);朱利安娜·维蒂埃洛 抽象诊断。 (英语) Zbl 0947.68024号 J.日志。程序。 39,编号1-3,43-93(1999).MSC公司:68N17号 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Comini}等人,J.Log。程序。39,编号1--3,43-93(1999;Zbl 0947.68024) 全文: DOI程序
Le Charlier,博杜因;克里斯托弗·勒克莱尔;萨宾娜·罗西;阿戈斯蒂诺·科尔特斯 Prolog程序的自动验证。 (英语) Zbl 0947.68023号 J.日志。程序。 39,第1-3、3-42号(1999年).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Le Charlier}等人,J.Log。程序。39,编号1--3,3--42(1999;Zbl 0947.68023) 全文: DOI程序
刘公九;马里奥·奥尔纳吉 逻辑程序和规范之间的关系——重温子集示例。 (英语) Zbl 0884.68031号 J.日志。程序。 30,第3期,239-257(1997).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.-K.Lau}和\textit{M.Ornaghi},J.Log。程序。30,第3号,239--257(1997;Zbl 0884.68031) 全文: DOI程序
伊夫·迪维尔;刘公九 逻辑程序综合。 (英语) Zbl 0942.68525号 J.日志。程序。 19-20, 321-350 (1994).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deville}和\textit{K.-K.Lau},J.Log。程序。19-20、321--350(1994年;Zbl 0942.68525) 全文: DOI程序
热拉尔·费朗;皮埃尔·德兰萨特 正规逻辑程序部分正确性和弱完备性的证明方法。 (英语) Zbl 0798.68100号 J.日志。程序。 17,编号2-4,265-278(1993).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Ferrand}和\textit{P.Deransart},J.Log。程序。17,编号2--4,265--278(1993;Zbl 0798.68100) 全文: DOI程序
玛丽安·鲍迪内 证明PROLOG程序的终止属性:一种语义方法。 (英语) Zbl 0754.68080号 J.日志。程序。 14,第1-2、1-29号(1992年).MSC公司:第68季度55 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudinet},J.Log。程序。14,编号1--2,1--29(1992;Zbl 0754.68080) 全文: DOI程序
David M.Russinoff。 沃伦抽象机的验证PROLOG编译器。 (英语) Zbl 0754.68037号 J.日志。程序。 13,第4期,367-412(1992).MSC公司:68N20型 68N17号 60年第68季度 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Russinoff},J.Log(简写为D.M.Rusinoff)。程序。13,第4号,367--412(1992;Zbl 0754.68037) 全文: DOI程序
院长雅各布斯;安诺·兰根 独立AND并行逻辑程序的静态分析。 (英语) Zbl 0776.68026号 J.日志。程序。 13,编号2-3291-314(1992年).MSC公司:68N17号 68N20型 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Jacobs}和\textit{A.Langen},J.Log。程序。13,编号2--3,291--314(1992;Zbl 0776.68026) 全文: DOI程序
金·万豪酒店;哈拉尔德·森德加德 正常逻辑程序的自下而上的数据流分析。 (英语) Zbl 0776.68025号 J.日志。程序。 13,编号2-3,181-204(1992).MSC公司:68N17号 第68季度55 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}和\textit{H.Söndergaard},J.Log。程序。13,编号2--3,181-204(1992;Zbl 0776.68025) 全文: DOI程序
帕特里克·库索特;拉迪亚·库索特 逻辑程序的抽象解释和应用。 (英语) Zbl 0776.68024号 J.日志。程序。 13,编号2-3,103-179(1992).MSC公司:68N17号 第68季度55 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}和\textit{R.Cousot},J.Log。程序。13,编号2--3,103-179(1992;Zbl 0776.68024) 全文: DOI程序
马克斯·卡诺维奇。 计算模型中的高效程序综合。 (英语) Zbl 0705.68073号 J.逻辑程序。 9,编号2-3,159-177(1990).MSC公司:60年第68季度 68立方英尺 68吨15 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{M.I.Kanovich},J.Log。程序。9,No.2--3159--177(1990;Zbl 0705.68073) 全文: DOI程序
马克·华莱士 通用逻辑程序的可计算语义。 (英语) Zbl 0681.68024号 J.逻辑程序。 第6期,第3期,269-297页(1989年).MSC公司:60年第68季度 第68季度55 68吨15 03B50号 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.华莱士},J.洛格。程序。6,第3号,269--297(1989;Zbl 0681.68024) 全文: DOI程序
戴尔·米勒 逻辑程序设计中模块的逻辑分析。 (英语) Zbl 0681.68022号 J.逻辑程序。 6,编号1-2,79-108(1989). 审核人:J.-J.Ch.梅耶 MSC公司:60年第68季度 68吨15 68号01 68N25号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller},J.Log。程序。6,编号1--2,79-108(1989;Zbl 0681.68022) 全文: DOI程序
范·盖尔德,艾伦 对一般逻辑程序使用严格推导作为失败的否定。 (英语) Zbl 0668.68108号 J.逻辑程序。 6,编号1-2,109-133(1989).MSC公司:68吨15 60年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.van Gelder},J.日志。程序。6,编号1-2109-133(1989年;Zbl 0668.68108) 全文: DOI程序
约阿希姆·比尔 再次出现了检查问题。 (英语) Zbl 0647.68011号 J.逻辑程序。 5,第3期,243-261(1988).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Beer},J.Log。程序。5,第3号,243--261(1988;Zbl 0647.68011) 全文: DOI程序
索米亚·德布雷。;大卫·沃伦。 逻辑程序的自动模式推理。 (英语) Zbl 0647.68010号 J.逻辑程序。 207-229(1988)第3期第5页.MSC公司:68号01 68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Debray}和\textit{D.S.Warren},J.Log。程序。5,第3号,207--229(1988;Zbl 0647.68010) 全文: DOI程序
维平·库马尔;林友健 一种基于数据依赖的Prolog智能回溯方案。 (英语) Zbl 0645.68102号 J.逻辑程序。 5,第2期,165-181(1988).MSC公司:68吨15 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Kumar}和\textit{Y.-J.Lin},J.Log。程序。5,编号2165-181(1988年;兹bl 0645.68102) 全文: DOI程序
威廉·高尔森(William G.Golson)。 逻辑编程中无限对象的声明性语义。 (英语) Zbl 0644.68025号 J.逻辑程序。 5,第2期,151-164(1988).MSC公司:60年第68季度 68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.G.Golson},J.Log(J·洛格)。程序。5,第2号,151--164(1988;Zbl 0644.68025) 全文: DOI程序
索米亚·德布雷。;普拉蒂克·米什拉 PROLOG的表示和操作语义。 (英语) Zbl 0632.68020号 J.逻辑程序。 5,第1号,61-91(1988).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Debray}和\textit{P.Mishra},J.Log。程序。5,编号1,61--91(1988;Zbl 0632.68020) 全文: DOI程序
肯尼斯·库宁 逻辑编程中的否定。 (英语) Zbl 0655.68018号 J.逻辑程序。 4, 289-308 (1987). 审核人:G.薄荷 MSC公司:60年第68季度 68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Kunen},J.Log。程序。4289-308(1987年;兹bl 0655.68018) 全文: DOI程序
让·H·盖利尔。;斯坦·拉茨 Hornlog:通用Horn子句的基于图形的解释器。 (英语) Zbl 0641.68145号 J.逻辑程序。 4, 119-155 (1987). 审核人:J.-J.Ch.梅耶 MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Gallier}和\textit{S.Raatz},J.Log。程序。4119-155(1987年;Zbl 0641.68145) 全文: DOI程序
A.伊泰。;Makowsky,J.A。 统一作为逻辑编程的复杂性度量。 (英语) Zbl 0641.68143号 J.逻辑程序。 4, 105-117 (1987). 审核人:J.-J.Ch.梅耶 MSC公司:68吨15 60年第68季度 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Itai}和\textit{J.A.Makowsky},J.Log。程序。4105-117(1987;Zbl 0641.68143) 全文: DOI程序
D.R.布鲁。;C.J.霍格。 将关联性编译成逻辑程序。 (英语) Zbl 0631.68013号 J.逻辑程序。 4, 345-359 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Brough}和\textit{C.J.Hogger},J.Log。程序。4345-359(1987年;Zbl 0631.68013) 全文: DOI程序
比扬·阿尔巴;丹尼尔·贝里(Daniel M.Berry)。 PROLOG的操作语义和指称语义。 (英语) Zbl 0631.68012号 J.逻辑程序。 4, 309-329 (1987).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Arbab}和\textit{D.M.Berry},J.Log。程序。4309--329(1987年;Zbl 0631.68012) 全文: DOI程序
Atsushi Togashi;Shoichi Noguchi 从等式程序到逻辑程序的程序转换。 (英语) Zbl 0616.68017号 J.逻辑程序。 4, 85-103 (1987).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Togashi}和\textit{S.Noguchi},J.Log。程序。4、85-103(1987年;Zbl 0616.68017) 全文: DOI程序
桑贾·纳雷恩 在逻辑中进行惰性计算的技术。 (英语) Zbl 0613.68014号 J.逻辑程序。 3, 259-276 (1986). 审核人:F.J.范德林登 MSC公司:60年第68季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Narain},J.Log。程序。3259--276(1986年;Zbl 0613.68014) 全文: DOI程序
蒂姆·弗兰纳根 否定作为失败的一致性。 (英语) Zbl 0598.68064号 J.逻辑程序。 3, 93-114 (1986). 审核人:E.克努特 MSC公司:68吨15 68号01 68第20页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Flannagan},J.Log。程序。3、93——114(1986年;Zbl 0598.68064) 全文: DOI程序
德克萨斯州贾法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 关于“逻辑程序的一般故障”的评论。 (英语) Zbl 0596.68014号 J.逻辑程序。 3, 115-118 (1986).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Jaffar}等人,J.Log。程序。3115--118(1986;Zbl 0596.68014) 全文: DOI程序
Rikio Onai公司;Hajime清水;卡奈省Masuda;麻生太郎 序列PROLOG程序分析。 (英语) Zbl 0592.68020号 J.逻辑程序。 3119-141(1986年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Onai}等人,J.Log。程序。3119--141(1986;Zbl 0592.68020) 全文: DOI程序
德克萨斯州贾法;彼得·斯图基(Peter J.Stuckey)。 规范逻辑程序。 (英语) Zbl 0592.68018号 J.逻辑程序。 3, 143-155 (1986).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Jaffar}和\textit{P.J.Stuckey},J.Log。程序。3143--155(1986年;Zbl 0592.68018) 全文: DOI程序
配件,梅尔文 确定性PROLOG定点语义。 (英语) Zbl 0592.68021号 J.逻辑程序。 2, 111-118 (1985). 审核人:J.-J.Ch.梅耶 MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting},J.Log。程序。2111--118(1985;Zbl 0592.68021) 全文: DOI程序
范·埃姆登,M.H。;M.A.Nait阿卜杜拉 逻辑程序公平计算的自顶向下语义。 (英语) Zbl 0592.68019号 J.逻辑程序。 267-75年(1985年). 审核人:J.-J.Ch.梅耶 MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.H.van Emden}和\textit{M.A.N.Abdallah},J.Log。程序。267--75(1985年;Zbl 0592.68019) 全文: DOI程序
配件,梅尔文 逻辑程序的Kripke-Kleene语义。 (英语) Zbl 0589.68011号 J.逻辑程序。 2, 295-312 (1985). 审核人:G.薄荷 MSC公司:60年第68季度 68号01 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting},J.Log。程序。2295-312(1985;Zbl 0589.68011) 全文: DOI程序
范图乐 逻辑程序的一般故障。 (英语) Zbl 0585.68023号 J.逻辑程序。 2, 157-165 (1985). 审核人:J.-J.Ch.梅耶 MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Van Tu Le},J.Log。程序。2157--165(1985;Zbl 0585.68023) 全文: DOI程序
托马斯·瓦萨克;约翰·波特 逻辑程序的元逻辑控制。 (英语) 兹伯利0581.68018 J.逻辑程序。 2, 203-220 (1985).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Vasak}和\textit{J.Potter},J.Log。程序。2203--220(1985;Zbl 0581.68018) 全文: DOI程序
广岛中川 PROLOG程序转换和树操作算法。 (英语) Zbl 0581.68017号 J.逻辑程序。 2, 77-91 (1985).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Nakagawa},J.Log。程序。277--91(1985年;Zbl 0581.68017) 全文: DOI程序
C.S.梅利什。 PROLOG编译器的一些全局优化。 (英语) Zbl 0575.68003号 J.逻辑程序。 2, 43-66 (1985).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Mellish},J.Log。程序。2、43-66(1985年;Zbl 0575.68003) 全文: DOI程序
范·埃姆登,M.H。;劳埃德·J·W·。 Prolog II的逻辑重建。 (英语) 兹伯利0594.68033 J.逻辑程序。 1, 143-149 (1984).MSC公司:68问题65 60年第68季度 68吨15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.H.van Emden}和\textit{J.W.Lloyd},J.Log。程序。1143-149(1984;Zbl 0594.68033) 全文: DOI程序
ŠtŞpánková,奥尔加;Štěpánek,Petr 逻辑程序的转换。 (英语) Zbl 0581.68019号 J.逻辑程序。 1, 305-318 (1984).MSC公司:60年第68季度 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.s těpánková}和\textit{p.Štſpnek},J.Log。程序。1305--318(1984;Zbl 0581.68019) 全文: DOI程序
埃里克森,拉尔斯·亨里克 逻辑编程演算中统一算法的综合。 (英语) Zbl 0573.68006号 J.逻辑程序。 1, 3-18 (1984). 审核人:F.J.范德林登 MSC公司:68问题65 60年第68季度 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.-H.埃里克森},J.Log。程序。1、3--18(1984年;Zbl 0573.68006) 全文: DOI程序
中村佳彦 逻辑程序的关联并发评估。 (英语) Zbl 0566.68007号 J.逻辑程序。 1285-295(1984年).MSC公司:68号01 60年第68季度 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakamura},J.Log。程序。1285--295(1984;Zbl 0566.68007) 全文: DOI程序