拉尔夫·欣泽 推导回溯单子变压器。 （英语） Zbl 1321.68195号 2000年9月18日至21日，加拿大蒙特利尔，ICFP'00，第五届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-202-6）。ACM SIGPLAN通告35，第9号，186-197（2000）。MSC公司：68号30 68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze}，in：第五届ACM SIGPLAN函数编程国际会议论文集，ICFP'00，加拿大蒙特利尔，2000年9月18-21日。纽约州纽约市：计算机协会（ACM）。186-197（2000年；兹比尔1321.68195） 全文： 内政部
米尔贾纳·伊万诺维奇；维克托·库恰克 Haskell中的模块化语言规范。 （英语） Zbl 1274.68052号 诺维·萨德J.数学。 30，第2期，第19-27页（2000年）.MSC公司：68甲18 68号30 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ivanović}和\textit{V.Kunčak}，Novi Sad J.Math。30，第2号，19--27（2000；Zbl 1274.68052）
列奥尼达斯·费加拉；大卫·迈尔 使用有效的演算优化对象查询。 （英语） Zbl 1136.68380号 ACM事务处理。数据库系统。 25，编号4，457-516（2000）.MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Fegaras}和\textit{D.Maier}，ACM翻译。数据库系统。25，第4号，457--516（2000；Zbl 1136.68380） 全文： 内政部 链接
温特，斯蒂芬；安德鲁·弗兰克。 栅格和矢量表示中的拓扑。 （英语） Zbl 1006.68644号 GeoInformatica 4，No.1，35-65（2000）。MSC公司：68单位99 68单位35 PDF格式BibTeX公司 XML格式 全文： 内政部
英格·贝斯克；扬·威廉·克鲁普；罗德·德弗里杰尔 术语改写中的后代和起源。 （英语） Zbl 1046.68564号 Inf.计算。 159，编号1-2，59-124（2000）.MSC公司：第68季度第42季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{I.Bethke}等人，《信息计算》。159，编号1--2，59-124（2000；Zbl 1046.68564） 全文： 内政部 链接
戴维·巴恩斯；Denker，砂砾 Maude与Haskell：安全协议分析的实验比较。 （英语） Zbl 0962.68056号 Futatsugi，Kokichi，第三届重写逻辑及其应用国际研讨会，RWLW。金泽市文化厅，金泽，日本，2000年9月18日至20日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。36，22 p.，仅电子版（2000年）。MSC公司：68第25页 60年第68季度 第68季度第42季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}和\textit{G.Denker}，in：第三届重写逻辑及其应用国际研讨会，RWLW。2000年9月18日至20日，日本金泽，金泽市文化厅。阿姆斯特丹：爱思唯尔。22页（2000年；Zbl 0962.68056）
Oege de Moor公司；后台，Kevin 第一类属性语法。 （英语） Zbl 0968.68076号 卢布Informatica。 24，第3期，329-341（2000）.MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{O.de Moor}和\textit{K.Backhouse}，卢布Informatica。24，第3号，329--341（2000；Zbl 0968.68076）
西尔维亚·塞雷斯；迈克尔·斯皮维 逻辑程序的功能读取。 （英语） Zbl 0960.68020号 加州大学洛杉矶分校 6，第4期，433-446（2000）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Seres}和\textit{M.Spivey}，J.UCS 6，第4期，433--446（2000；Zbl 0960.68020） 全文： 链接