缺少摘要。
- 三阶匹配是可决定的吉尔斯·道克.2-10
- 计算AC-Unifier完备集的双指数复杂性迪帕克·卡普尔,巴利亚特·纳伦德兰.11月21日
- 随机世界与最大熵亚当·格罗夫,约瑟夫·哈珀（Joseph Y.Halpern）,科勒.22-33
- 非单调模态逻辑的最小模型语义格里戈里·施瓦兹.34至43
- 有限模型理论中的不动点逻辑与无穷逻辑Phokion G.Kolaitis公司,莫舍·瓦尔迪.46岁至57岁
- 确定性与非确定性传递闭包逻辑埃里希·格拉德尔,格雷戈里·麦科姆.58-63
- 有限模型的公理化类与线性阶的可定义性阿列克谢·普·斯托尔布什金.64-70
- 一个抽象的标准化定理乔治·戈蒂尔,珍妮·雅克·莱维,保罗·安德烈·梅利埃.72-81
- 接球投掷机制的构造性形式化中野浩史.82-89
- Girard的翻译和连词的计算分析切坦·R·穆尔蒂.90-101
- 并行场景中的Lazy Lambda演算（扩展抽象）戴维德·桑吉奥吉.102-109
- 软件开发规范珍妮特·温格（Jeannette M.Wing）.112
- 将SOS规则转化为方程式卢卡·埃特罗,吟游诗人布鲁姆,Frits W.Vaandrager公司.113-124
- 数据流网络演算（扩展抽象）尤金·W·斯塔克.125-136
- 进程代数中的异步通信弗兰克·S·德·波尔,简·威廉·克洛普,帕拉米德斯猫.137-147
- 可观测过程的等价性伊雷克·乌利多夫斯基.148-159
- 类型与效果学科Jean-Pierre Talpin女士,皮埃尔·朱弗洛特.162-173
- 析取严格性分析托马斯·詹森.174-185
- 参考、局部变量和操作推理伊恩·梅森,卡罗琳·塔尔科特.186-197
- 线性逻辑中的喇叭规划是NP-完全的马克斯·卡诺维奇.200-210
- 相互作用几何的新基础萨姆森·阿布拉姆斯基,拉德哈·贾加迪桑.211-222
- 无框线性逻辑乔治·戈蒂尔,马丁·阿巴迪,珍妮·雅克·莱维.223-234
- 线性lambda演算的操作方面帕特里克·林肯,约翰·C·米切尔.235-246
- 二元关系演算的起源沃恩·R·普拉特.248至254
- 浅方程理论中的可判定问题（扩展摘要）休伯特·科蒙,玛丽安·哈伯斯特劳,Jean-Pierre Jouannaud女士.255-265
- 术语改写的一元理论迪迪埃·考卡尔.266-273
- 左线性重叠项重写系统的强序列性富山义彦.274-284
- 类型~2的可行函数没有递归公理化阿尼尔·塞思.286-295
- 切割平面和定深Frege证明彼得·克洛特.296-307
- 子类型不等式Jerzy Tiuryn公司.308-315
- 逻辑程序分析引擎内文·海因策,佐克森·贾法尔.318-328
- 集合约束求解系统（扩展抽象）亚历山大·艾肯,爱德华·L·威默斯.329-340
- 约束系统的类别是笛卡尔闭的维杰·萨拉斯瓦特.341-345
- 有限结构上的广义量词和卵石对策Phokion G.Kolaitis公司,Jouko A.Väänänen.348-359
- PTIME中的逻辑层次结构劳里·海拉.360-368
- 模态逻辑的零一定律约瑟夫·哈尔彭,布鲁斯·卡普伦.369-380
- 树自动机的进度度量、即时确定性和子集构造尼尔斯·克拉伦德.382-393
- 实时系统的符号模型检验托马斯·汉津格,泽维尔·尼科林,约瑟夫·西法基斯,塞尔吉奥·尤文.394-406
- LF中的编译器验证约翰·汉南,弗兰克·普芬宁.407-418
- 混合列表递归和算术劳伦特·弗里堡.419-429
- 具体数据结构的可观测算法皮埃尔·路易斯·居里.432-443
- 函数参数化彼得·弗雷德,E.P.罗宾逊,朱塞佩·罗索里尼.444-452
- 类型lambda-Calculi中β-eta还原的Church-Rosser性质赫尔曼·杰弗斯.453-460
- 简单类型lambda-beta-eta-calculus中的缩回乌戈·德利古罗,阿道夫·皮佩诺,理查德·斯塔特曼.461-469