罗伯特·西蒙斯。;弗兰克·芬宁 程序分析的逻辑近似。 (英语) Zbl 1256.68045号 高-订购符号。计算。 24,编号1-2,41-80(2011).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Simmons}和\textit{F.Pfenning},高-订购符号。计算。24,编号1--2,41-80(2011;Zbl 1256.68045) 全文: 内政部 链接
雅克·加里格;中田庆子 嵌套递归模块的路径解析。 (英语) Zbl 1256.68032号 高-订购符号。计算。 24,第3期,207-237(2011).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Garrigue}和\textit{K.Nakata},高-订购符号。计算。24,第3号,207--237(2011;Zbl 1256.68032) 全文: 内政部