阿尔特·米德尔多普（编辑）;文森特·范·奥斯特罗姆（编辑）;范·拉姆斯东克（Femke van Raamsdonk）（编辑）;罗德·德弗里杰尔（编辑） 过程、术语和周期：在通往无限的道路上迈出的步伐。在简·威廉·克洛普60岁生日之际，为他撰写的论文。 （英语） Zbl 1097.68007号 计算机科学课堂讲稿3838.柏林：施普林格出版社（ISBN 3-540-30911-X/pbk）。十八、639页。(2005). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：罗宾·米尔纳，单词的谱，1-5[Zbl 1171.68655号]马克·贝泽姆，关于相干逻辑的不可判定性，6-13[Zbl 1171.03327号]阿尔伯特·维瑟，Löb的逻辑满足\（\mu\）-演算，14-25[Zbl 1171.03314号]罗布·范格拉贝克，弱互模拟同余的特征，26-39[Zbl 1171.68583号]理查德·斯塔特曼（Richard Statman）；亨克·巴伦德雷格特，Böhm定理，Church的delta，数字系统和Ershov态射，40-54[Zbl 1171.03310号]Krzysztof R.阿普特。，解释约束编程，55-69[Zbl 1171.68412号]托马斯·布朗；莱维，珍妮·雅克；吕克·马兰吉特，在弱lambda-calculus中共享，70-87[Zbl 1171.03309号]Paul Klint；蒂杰斯·范德·斯托姆（Tijs van der Storm）；尤尔根文居，术语重写符合面向方面编程，88-105[兹比尔1171.68416]法比奥·加杜奇（Fabio Gadducci）；乌戈·蒙塔纳里，通过过程的图形编码观察标称计算的减少，106-126[Zbl 1171.68572号]纳鸿·德肖维茨，原语重写，127-147[Zbl 1171.68509号]理查德·肯纳韦（Richard Kennaway）；Paula Severi；睡吧，罗南；德弗里斯，Fer-Jan，无限重写：从语法到语义，148-172[Zbl 1171.68512号]汉斯·赞特马，减少终端右侧，173-197[Zbl 1171.68520号]富山，吉藤义彦，左线性项重写系统的约简策略，198-223[Zbl 1171.68519号]Jean-Pierre Jouannaud，高阶重写：框架、汇合和终止，224-250[Zbl 1171.68511号]Baeten，J.C.M。；穆萨维，M.R。；Reniers，医学硕士。，定时不定时：保守成功终止，251-279[Zbl 1171.68559号]垂直，Detlef，重温图变换的汇流，280-308[Zbl 1171.68517号]邓玉欣；帕拉米德斯，卡图西亚；庞、军，概率有限状态行为的合成推理，309-337[Zbl 1171.68570号]卢卡·埃特罗（Luca Aceto）；Wan Fokkink；Anna Ingolfsdottir；巴斯·卢提克，过程代数中的有限方程基：结果和开放问题，338-367[Zbl 1171.68558号]Zena M.Ariola。；斯特凡·布隆、Skew和\（\omega\）-Skew合流与抽象Böhm语义，368-403[兹比尔1171.68506]马里奥·科波；费德里科·科齐；玛丽安吉拉·德扎尼·西安卡里尼（Dezani-Ciancaglini）；埃利奥·乔瓦内蒂（Elio Giovannetti）；罗萨里奥·普格利泽，具有局部和依赖类型的移动性演算，404-444[Zbl 1171.68566号]Bergstra，Jan A。；Middelburg，C.A.（基斯），进程代数模型理论，445-495[Zbl 1171.68561号]约翰·格劳特（John Glauert）；迪莉娅·凯斯纳（Delia Kesner）；苏拉布·卡西达什维利，表达式简化系统和扩展：概述，496-553[Zbl 1171.68510号]保罗·安德烈·梅利埃公理重写理论。一： 图解标准化定理，554-638[Zbl 1171.68515号] 引用于三文件 理学硕士： 68-06 与计算机科学有关的会议记录、会议、收藏等 68季度xx 计算理论 00B30型 费斯特施里夫滕 传记参考： 扬·威廉·克鲁普 PDF格式BibTeX公司 XML格式引用 \textit{A.Middeldorp}（ed.）等人，《过程、术语和循环：通向无限的道路上的步骤》。在简·威廉·克洛普60岁生日之际献给他的散文。柏林：施普林格（2005年；Zbl 1097.68007） 全文： 内政部