比肖克桑·卡夫;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;彼得·沙赫特;哈拉尔德·森德加德 支持转换的前提推理。 (英语) Zbl 1530.68065号 理论与实践。日志。程序。 21,第6号,700-716(2021).MSC公司:68号30 03B70号 68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。21,第6号,700--716(2021;Zbl 1530.68065) 全文: 内政部 arXiv公司
格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基(Peter J.Stuckey)。 无上下文语言规则可分性的完整细化过程。 (英语) 兹比尔1338.68147 西奥。计算。科学。 625, 1-24 (2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人,Theor。计算。科学。625,1--24(2016;Zbl 1338.68147) 全文: 内政部 arXiv公司