马可·卡洛蒂;塞尔吉奥·格雷科;克里斯蒂安·莫里纳罗;伊琳娜·特鲁比西纳 使用线性约束进行逻辑程序终止分析。 (英语) Zbl 1379.68050号 理论与实践。日志。程序。 16,第3期,353-377(2016).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Calautti}等人,《理论与实践》。日志。程序。16,第3号,353--377(2016;Zbl 1379.68050) 全文: DOI程序 arXiv公司
马可·卡洛蒂;塞尔吉奥·格雷科;弗朗西斯卡·斯佩萨诺;伊琳娜·特鲁比西纳 用函数符号检查逻辑程序自下而上评估的终止。 (英语) Zbl 1379.68051号 理论与实践。日志。程序。 15,第6号,854-889(2015).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Calautti}等人,《理论与实践》。日志。程序。15,第6号,854--889(2015;Zbl 1379.68051) 全文: DOI程序 arXiv公司