比肖克桑·卡夫;格雷姆·恒河;彼得·斯塔基。;彼得·沙赫特;哈拉尔德·森德加德 支持转换的前提推理。 (英语) Zbl 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公司
罗伯托·阿马迪尼;格雷姆·恒河;彼得·斯塔基。 用于字符串约束求解的虚线字符串。 (英语) Zbl 1504.68202号 Artif公司。智力。 289,文章ID 103368,31 p.(2020).MSC公司:68T20型 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{R.Amadini}等人,Artif。智力。289,文章ID 103368,31 p.(2020;Zbl 1504.68202) 全文: 内政部 链接
格雷姆·恒河;豪尔赫·纳瓦斯(Jorge A.Navas)。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 无上下文语言规则可分性的完整细化过程。 (英语) Zbl 1338.68147号 西奥。计算。科学。 625, 1-24 (2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gange}等人,Theor。计算。科学。625,1--24(2016;Zbl 1338.68147) 全文: 内政部 arXiv公司