克劳迪娅·卡萨迪奥（编辑）;鲍勃·科克（编辑）;迈克尔·穆尔特加特（编辑）;菲利普·斯科特（编辑） 逻辑、语言和物理中的类别和类型。纪念吉姆·兰贝克90岁生日的文章。 （英语） Zbl 1284.03016号 计算机科学课堂讲稿8222.柏林：施普林格出版社（ISBN 978-3-642-54788-1/pbk）。xii，421页。(2014).MSC公司：03-06 03B47号 03B65号 03G30型 18日第10天 2017年第68季度 2012年第68季度 81页第10页 94A60型 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Casadio}（ed.）等人，《逻辑、语言和物理中的类别和类型》。纪念吉姆·兰贝克90岁生日的文章。柏林：施普林格出版社（2014；Zbl 1284.03016） 全文： DOI程序
德克·帕丁森（编辑）;卢茨·施罗德（编辑） 计算机科学中的协同代数方法。2012年3月31日至4月1日，爱沙尼亚塔林，CMCS 2012第11届国际研讨会，与ETAPS 2012联合举办。修订了选定的论文。 （英语） Zbl 1246.68051号 计算机科学课堂讲稿7399.柏林：施普林格出版社（ISBN 978-3-642-32783-4/pbk）。vii，第259页。(2012).MSC公司：68-06 18-06 68问题65 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{D.Pattinson}（编辑）和textit{L.Schröder}（主编），计算机科学中的协代数方法。2012年3月31日至4月1日，爱沙尼亚塔林，CMCS 2012第11届国际研讨会，与ETAPS 2012联合举办。修订了选定的论文。柏林：施普林格出版社（2012；Zbl 1246.68051） 全文： DOI程序
迈克尔·约翰逊（编辑） 代数方法论和软件技术。1997年12月13日至17日，第六届国际会议，澳大利亚悉尼AMAST’97。诉讼程序。 （英语） Zbl 0879.00059号 计算机科学课堂讲稿. 1349. 柏林：斯普林格。x、 594页，122.00马克；öS 890.60；新加坡法郎111.50；£47.00; $ 89.00 (1997).MSC公司：00时25分 03-06 18-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Johnson}（编辑），代数方法论和软件技术。1997年12月13日至17日在澳大利亚悉尼举行的第六届AMAST国际会议。诉讼程序。柏林：施普林格出版社（1997；Zbl 0879.00059）
尤金尼奥·莫吉（编辑）;朱塞佩·罗索里尼（编辑） 范畴理论和计算机科学。1997年9月4日至6日，第七届国际会议，CTCS’97，意大利圣玛格丽塔利古尔。诉讼程序。 （英语） Zbl 0871.00036号 计算机科学课堂讲稿. 1290. 柏林：斯普林格。vii，第313页（1997年）。MSC公司：00时25分 18-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}（编辑）和textit{G.Rosolini}（主编），范畴理论和计算机科学。1997年9月4日至6日，第七届国际会议，CTCS’97，意大利圣玛格丽塔利古尔。诉讼程序。柏林：施普林格（1997；Zbl 0871.00036）
大卫·皮特（编辑）;大卫·E·莱德哈德。（编辑）;彼得·约翰斯通（编辑） 范畴理论和计算机科学。第六届国际会议，CTCS’95，英国剑桥，1995年8月7-11日。诉讼程序。 （英语） Zbl 0847.00031号 计算机科学课堂讲稿953.柏林：斯普林格·弗拉格。vii，252页（1995年）。MSC公司：00时25分 18-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Pitt}（编辑）等人，《范畴理论与计算机科学》。第六届国际会议，CTCS’95，英国剑桥，1995年8月7-11日。诉讼程序。柏林：Springer-Verlag（1995；Zbl 0847.00031） 全文： DOI程序
赫莱内·基什内尔（编辑）;沃尔夫冈·韦克勒（编辑） 代数和逻辑编程。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。 （英语） Zbl 0763.68011号 计算机科学课堂讲稿. 463. 柏林等：Springer-Verlag。七、 第386页（1990年）。 审核人：米歇尔·伊坦（斯特拉斯堡） MSC公司：68-06 第68页第17页 2012年第68季度 08A70号 18安培99 68号01 PDF格式BibTeX公司 XML格式引用 \textit{H.Kirchner}（编辑）和textit{W.Wechler}（主编），代数和逻辑编程。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0763.68011） 全文： DOI程序
哈特穆特·埃里格（编辑）;霍斯特·赫里奇（编辑）;汉斯·约尔格·克鲁斯基（编辑）;格哈德·普劳斯（编辑） 计算机科学中的分类方法。具有来自拓扑的方面。国际研讨会，1988年9月，柏林（西）。诉讼程序。 （英语） Zbl 0734.68010号 计算机科学课堂讲稿, 393. 柏林等：Springer-Verlag。六、 350 p.DM 52.00（1989）。 审核人：M.Demlová（普拉哈） MSC公司：68-06 18-06 68问题65 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}（ed.）等人，《计算机科学中的分类方法》。具有来自拓扑的方面。国际研讨会，1988年9月，柏林（西）。诉讼程序。柏林等：Springer-Verlag（1989；Zbl 0734.68010）
皮特，大卫·H。（编辑）;David E.Rydeheard。（编辑）;彼得·戴比杰（编辑）;安德鲁·皮特斯（Andrew M.Pitts）。（编辑）;阿克塞尔·波涅（编辑） 范畴理论和计算机科学。1989年9月5日至8日，英国曼彻斯特。诉讼程序。 （英语） Zbl 0712.68006号 计算机科学课堂讲稿, 389. 柏林等：Springer-Verlag。六、 365 p.DM 52.00（1989）。 审核人：Antoni Wiweger（华沙） MSC公司：68-06 68问题65 18甲15 18-06 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{D.H.Pitt}（编辑）等人，《范畴理论与计算机科学》。英国曼彻斯特，1989年9月5-8日。诉讼程序。柏林等：Springer-Verlag（1989；Zbl 0712.68006） 全文： DOI程序
D.H.皮特。（编辑）;A.波涅。（编辑）;Rydeheard博士。（编辑） 范畴理论和计算机科学。1987年9月7日至9日，英国爱丁堡。诉讼程序。 （英语） Zbl 0632.00018号 计算机科学课堂讲稿283.柏林等：施普林格出版社。v、 300页（1987年）。MSC公司：00时25分 68-06 18-06 03-06 PDF格式BibTeX公司 XML格式
大卫·皮特（编辑）;萨姆森·艾布拉姆斯基（编辑）;阿克塞尔·波涅（编辑）;大卫·赖德海尔（编辑） 范畴理论和计算机程序设计。1985年9月16日至20日，英国吉尔福德，教程和研讨会。诉讼程序。 （英语） Zbl 0607.00015号 计算机科学课堂讲稿, 240. 柏林等：Springer-Verlag。七、 第519页。；DM 66.00（1986）。MSC公司：00时25分 68-06 18-06 PDF格式BibTeX公司 XML格式
马雷克·卡宾斯基（编辑） 计算理论基础。1977年9月19日至23日，波兰波兹南·科尔尼克，1977年《烟草控制框架公约》国际会议记录。 （英语） Zbl 0351.00018号 计算机科学课堂讲稿56.柏林-海德堡-纽约：斯普林格-弗拉格。十一、 542 p.43.00马克；$19.80 (1977).MSC公司：00亿Bxx 68-06 03-06 18-06 PDF格式BibTeX公司 XML格式
J·格鲁斯卡。（编辑） 1977年计算机科学数学基础。1977年9月5日至9日，《第六届研讨会论文集》（Tatranska Lomnica）。 （英语） Zbl 0351.00017号 计算机科学课堂讲稿. 53. 柏林-海德堡-纽约：斯普林格-弗拉格。十一、 595 p.40.00马克；$18.40 (1977).MSC公司：00亿Bxx 68-06 03-06 18B20型 PDF格式BibTeX公司 XML格式
马内斯，E.G。（编辑） 范畴理论应用于计算和控制。第一届国际研讨会会议记录，1974年2月25日至26日，旧金山。 （英语） Zbl 0293.00025号 计算机科学课堂讲稿. 25. 柏林-海德堡-纽约：斯普林格-弗拉格。十、 第245页，25.00德国马克（1975年）。MSC公司：00亿Bxx 18-06 68-06 93-06 PDF格式BibTeX公司 XML格式