德尼古拉,罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·普罗布斯特。;罗萨里奥Pugliese 从流逻辑到协调语言的静态类型系统。 (英语) Zbl 1192.68126号 科学。计算。程序。 75,第6期,376-397(2010).MSC公司:68甲15 第68季度第60季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}等人,科学。计算。程序。75,第6号,376--397(2010;Zbl 1192.68126) 全文: 内政部
弗莱明·尼尔森;汉森、雷内·里多夫;尼尔森、汉内·里斯 移动环境的抽象解释。 (英语) Zbl 1047.68080号 科学。计算。程序。 47,编号2-3,145-175(2003).MSC公司:68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,科学。计算。程序。47,编号2--3,145-175(2003;Zbl 1047.68080) 全文: 内政部
尼尔森、汉内·里斯(编辑) 第六届欧洲规划研讨会专刊。1996年4月22日至26日,瑞典林雪平ESOP’96。 (英语) Zbl 0939.00042号 科学。计算。程序。 32,第1-3期,222页(1998年).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \文本{H.R.尼尔森}(编辑),科学。计算。程序。32,编号1--3,222~p.(1998;Zbl 0939.00042) 全文: 内政部
Solberg Gasser、Kirsten Lackner;尼尔森、汉内·里斯;弗莱明·尼尔森 严格性和整体性分析。 (英语) Zbl 0941.68021号 科学。计算。程序。 31,第1期,113-145(1998).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.L.Solberg Gasser}等人,科学。计算。程序。31,第1号,113--145(1998;Zbl 0941.68021) 全文: 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯 Wadler列表分析中的张量积。 (英语) Zbl 0810.68092号 科学。计算。程序。 22,第3期,327-354(1994).MSC公司:68问题55 68问题65 68甲15 06B35号 68第05页 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森,科学。计算。程序。22,第3号,327--354(1994;Zbl 0810.68092) 全文: 内政部
尼尔森、汉内·里斯 用于分析程序计算时间的类Hoare证明系统。 (英语) Zbl 0622.68026号 科学。计算。程序。 9,107-136(1987年).MSC公司:第68季度第60季度 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森},科学。计算。程序。9、107——136(1987年;Zbl 0622.68026) 全文: 内政部