缺少摘要。
- 一阶Gödel逻辑的不完全性和程序的一些时间逻辑马提亚斯·巴兹,亚历山大·莱奇,理查德·扎克.1-15
- 使用最小覆盖的非终止重写系统的语义何塞·巴罗斯,约瑟夫·高根.16-35
- 同余类型吉尔斯·巴特,赫尔曼·杰弗斯.36-51
- 结合语义表和整数规划的演绎伯恩哈德·贝克特,雷内·哈内尔.52-63
- leanEA：一个精益进化代数编译器伯恩哈德·贝克特,约阿希姆·波塞加.64-85
- 有限树的证明系统帕特里克·布莱克本,Wilfried Meyer-Viol公司,马尔滕·德·里杰克.86-105
- 在逻辑框架中表示统一杰森·布朗,林肯·A·沃伦.106-129
- 使用模型构建技术的决策程序里卡多·卡费拉,尼古拉斯·佩尔蒂埃.130-144
- 关于多项式时间泛函与常数s类K之间关系的一个注记彼得·克洛特.145-160
- 一阶逻辑、定点逻辑和线性序阿努杰·达瓦尔,史蒂文·林德尔,斯科特·温斯坦.161-177
- 无法确定同时注册电子统一安纳托利·德吉亚列夫,安德烈·沃伦科夫.178-190
- 进化代数抽象机朱塞佩·德尔·卡斯蒂略,伊戈尔·杜尔达诺维奇,Uwe Glässer公司.191-214
- 用扩展多态Lambda-Calculus重写罗贝多·迪·科斯莫,迪莉娅·凯斯纳.215-232
- 并发单体中的语言和逻辑可定义性曼弗雷德·德罗斯特,迪特里希·库斯克.233-251
- 有限结构的广义隐式定义Stéphane Grumbach酒店,佐埃·拉克鲁瓦,史蒂文·林德尔.252-265
- 铁路交叉问题：瞬时作用和即时反应的实验尤里·古雷维奇,詹姆斯·哈金斯.266-290
- 参数多态的一个逻辑方面长谷龙郎.291-307
- 关于模态逻辑K+理论阿兰·豪尔丁,斯特凡·施温迪曼.308-319
- 模态逻辑K、T和S4的改进决策过程约格·胡德尔梅尔.320-334
- 观测前同余的完全抽象表示模型Anna Ingólfsdóttir女士,安德烈亚·沙尔克.335-361
- 关于尖锐有界长度归纳简·约翰森.362-367
- 枚举游戏的有效策略马庭·库摩,马蒂亚斯·奥特.368-387
- 语言的有界定点定义与表格识别汉斯·雷.388-402
- 部分代数各种逻辑框架之间的等价性蒂尔·莫萨科夫斯基.403-433
- 命题均值演算的一些推广：表示性和可判定性帕里托什·K·潘迪亚.434-451
- 模结合性的定理证明阿尔伯特·鲁比奥.452-467
- 正演绎模正则理论劳伦特·维格纳龙.468-485