伊芙琳娜·拉姆(编辑);Swift,Terrance公司(编辑) 编者按:第29届逻辑程序设计国际会议专题——增编。 (英语) Zbl 1475.00115号 理论与实践。日志。程序。 18,第1号,121(2018).MSC公司:00B25型 68-06 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Lamma}(编辑)和\textit{T.Swift}(主编),理论与实践。日志。程序。18,第1号,121(2018;Zbl 1475.00115) 全文: 内政部
Wielemaker,简;哈里斯,克里 勘误表:“多线程Prolog的无锁原子垃圾收集”。 (英语) Zbl 1408.68035号 理论与实践。日志。程序。 18,第1号,120(2018).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Wielemaker}和\textit{K.Harris},理论与实践。日志。程序。18、1号、120(2018;Zbl 1408.68035) 全文: 内政部
马西耶·本德考斯基;卡塔兹纳·格里吉尔;保罗·塔劳 封闭简单类型(lambda)术语的随机生成:逻辑编程和Boltzmann采样器之间的协同作用。 (英语) Zbl 1425.68054号 理论与实践。日志。程序。 18,第1期,97-119(2018).MSC公司:68甲18 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bendkowski}等人,《理论与实践》。日志。程序。18,编号1,97--119(2018;Zbl 1425.68054) 全文: 内政部 arXiv公司
罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 SUNNY-CP和MiniZin挑战。 (英语) Zbl 1425.68384号 理论与实践。日志。程序。 18,第1期,81-96(2018).MSC公司:68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{R.Amadini}等人,《理论与实践》。日志。程序。18,第1号,81--96(2018;Zbl 1425.68384) 全文: 内政部 arXiv公司
Johannes Oetsch;约格·普勒;汉斯·托姆皮茨 逐步调试应答程序。 (英语) Zbl 1425.68053号 理论与实践。日志。程序。 18,第1期,30-80(2018).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Oetsch}等人,《理论与实践》。日志。程序。18,编号1,30--80(2018;Zbl 1425.68053) 全文: 内政部 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公司