克里斯·汉金;塞巴斯蒂安·亨特 勘误表:抽象解释中的近似固定点。 (英语) Zbl 0834.68073号 科学。计算。程序。 23,第1号,第103页(1994年)。MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Hankin}和\textit{S.Hunt},科学。计算。程序。23,第1号,103(1994;Zbl 0834.68073) 全文: 内政部
克里斯·汉金;塞巴斯蒂安·亨特 抽象解释中的近似不动点。 (英语) Zbl 0819.68074号 科学。计算。程序。 22,第3期,283-306(1994)。MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Hankin}和\textit{S.Hunt},科学。计算。程序。22,第3号,283--306(1994;Zbl 0819.68074) 全文: 内政部
杰弗里·伯恩。;克里斯·汉金;萨姆森·艾布拉姆斯基 高阶函数的严格性分析。 (英语) Zbl 0603.68013号 科学。计算。程序。 7, 249-278 (1986)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Burn}等人,科学。计算。程序。7、249--278(1986年;Zbl 0603.68013) 全文: 内政部