伯恩哈德·莫勒 克莱恩变得懒惰了。 (英语) Zbl 1109.68060号 科学。计算。程序。 65,第2期,195-214(2007).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller},科学。计算。程序。65,第2号,195--214(2007;Zbl 1109.68060) 全文: 内政部 链接
费尔南德斯(Fernandes,Therrezinha);朱尔斯·德沙奈斯 用Kleene代数描述数据流分析技术。 (英语) Zbl 1109.68026号 科学。计算。程序。 65,第2期,173-194(2007).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Fernandes}和\textit{J.Desharnais},科学。计算。程序。65,No.2,173--194(2007;Zbl 1109.68026) 全文: 内政部
约瑟夫·莫里斯(Joseph M.Morris)。;马尔科姆·蒂雷尔 具有无限恶魔和天使不确定性的条件。 (英语) Zbl 1106.68024号 科学。计算。程序。 65,第2期,159-172(2007).MSC公司:68号30 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Morris}和\textit{M.Tyrrell},科学。计算。程序。65,No.2,159--172(2007;Zbl 1106.68024) 全文: 内政部
C.E.马丁。;南卡罗来纳州柯蒂斯。;我·雷维茨基。 用多重关系模拟天使和恶魔的不确定性。 (英语) Zbl 1106.68023号 科学。计算。程序。 65,第2期,140-158(2007).MSC公司:68号30 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Martin}等人,科学。计算。程序。65,No.2,140--158(2007;Zbl 1106.68023) 全文: 内政部
杰里米·吉本斯 变形:流表示转换。 (英语) Zbl 1109.68037号 科学。计算。程序。 65,第2期,108-139(2007).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons},科学。计算。程序。65,No.2,108--139(2007;Zbl 1109.68037) 全文: 内政部 链接
弗兰克·阿塔纳索夫;约翰·杰林 在泛型Haskell中使用类型同构推理自定义XML-Haskell-数据绑定。 (英语) Zbl 1109.68024号 科学。计算。程序。 65,第2期,72-107(2007).MSC公司:68甲15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.Atanasso}和\textit{J.Jeuring},科学。计算。程序。65,No.2,72--107(2007;Zbl 1109.68024) 全文: 内政部
德克斯特·科赞(编辑) 特刊:专门刊登2004年程序建设会议(MPC 2004)、第七届程序建设数学国际会议(斯特林,2004年7月)的论文。 (英语) Zbl 1116.68313号 科学。计算。程序。65,No.2,71-214(2007)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式