Kafle,比肖克桑;格雷姆·恒河;彼得·斯塔基。;彼得·沙赫特;哈拉尔德·森德加德 支持转换的前提推理。 (英语) 兹比尔1530.68065 理论与实践。日志。程序。 21,第6号,700-716(2021).MSC公司:68号30 03B70号 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。21,第6号,700--716(2021;Zbl 1530.68065) 全文: 内政部 arXiv公司
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;格雷姆·恒河;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 使用约束Horn子句进行前提推理的迭代方法。 (英语) 兹比尔1451.68075 理论与实践。日志。程序。 18,编号3-4,553-570(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。18、编号3--4、553--570(2018;Zbl 1451.68075) 全文: 内政部 arXiv公司
格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 Horn子句作为程序分析和转换的中间表示。 (英语) Zbl 1379.68089号 理论与实践。日志。程序。 15,No.4-5,526-542(2015).MSC公司:68N20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人,《理论与实践》。日志。程序。15,编号4--5,526--542(2015;Zbl 1379.68089) 全文: 内政部 arXiv公司
尼尔·D·琼斯。;彼得·塞斯托夫特;哈拉尔德·森德加德 Mix:用于编译器生成实验的自适用部分计算器。 (英语) Zbl 0644.68037号 程序设计语言语义的数学基础。研讨会,新奥尔良/路易斯安那州,1987年。注释计算。科学。第298386-413页(1988年)。MSC公司:68N99型 60年第68季度 68N20型 PDF格式BibTeX公司 XML格式