阿戈斯蒂诺·科尔特斯;朱利娅·科斯坦蒂尼;皮埃特罗·费拉拉 梯形阶梯函数的抽象域。 (英语) Zbl 1387.68069号 计算。语言系统。结构。 43, 41-68 (2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cortesi}等人,计算机。语言系统。结构。43、41-68(2015;Zbl 1387.68069) 全文: 内政部
阿戈斯蒂诺·科尔特斯;马蒂奥·扎尼奥利 用于抽象解释的加宽和缩小运算符。 (英语) Zbl 1218.68100号 计算。语言系统。结构。 37,第1期,24-42(2011).MSC公司:60年第68季度 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Cortesi}和\textit{M.Zanioli},计算。语言系统。结构。37,第1号,24-42(2011;Zbl 1218.68100) 全文: 内政部