罗宾斯,埃德;国王,安迪;雅各布·M·豪。 后跳是一种异常处理。 (英语) Zbl 1472.68028号 理论与实践。日志。程序。 21,第2期,125-144(2021).MSC公司:68N17号 05C15号 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Robbins}等人,《理论与实践》。日志。程序。21,编号2,125--144(2021;Zbl 1472.68028) 全文: 内政部 arXiv公司
多达罗,胭脂红;弗朗西斯科·里卡 用于扩展WASP的外部接口。 (英语) Zbl 1472.68183号 理论与实践。日志。程序。 20,第2期,225-248(2020年).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dodaro}和\textit{F.Ricca},理论与实践。日志。程序。20,第2号,225--248(2020;Zbl 1472.68183) 全文: 内政部 arXiv公司
安东尼乌斯·温齐尔;理查德·塔普;格哈德·弗里德里希 先进的惰性基础ASP解决技术–重启、阶段节省、启发式等。 (英语) Zbl 1468.68228号 理论与实践。日志。程序。 20,第5期,609-624(2020年).MSC公司:68立方英尺 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Weinzierl}等人,《理论与实践》。日志。程序。20,第5号,609--624(2020;Zbl 1468.68228) 全文: 内政部 arXiv公司
雷汉·阿卜杜勒·阿齐兹;杰弗里·楚;彼得·斯图基(Peter J.Stuckey)。 已建立边界的稳定模型语义。 (英语) Zbl 1286.68038号 理论与实践。日志。程序。 13,No.4-5,517-532(2013).MSC公司:68N17号 第68季度55 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Aziz}等人,《理论与实践》。日志。程序。13、编号4--5、517--532(2013;Zbl 1286.68038) 全文: 内政部
凯乔·赫尔扬科;伊尔卡·尼梅尔 使用稳定模型进行有界LTL模型检查。 (英语) 兹比尔1079.68058 理论与实践。日志。程序。 3,编号4-5,519-550(2003).MSC公司:60年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Heljanko}和\textit{I.Niemelä},理论实践。日志。程序。3,编号4--5,519-550(2003;Zbl 1079.68058) 全文: 内政部