缺少摘要。
- 多态lambda-Calculus有限片段的类型重建（扩展摘要）A.J.Kfoury公司,耶日·蒂林.2月11日
- 多态、集合论和Call-by值埃德蒙·罗宾逊,朱塞佩·罗索里尼.12-18
- 程序设计语言指称语义理论中的泛域曼弗雷德·德罗斯特,吕迪格·哥贝尔.19-34
- 连续域的分类（扩展抽象）阿奇姆·荣格.35-40
- 一类集合约束的决策过程（扩展抽象）内文·海因策,佐克森·贾法尔.42-51
- 约束序列演算Jean-Louis Lassez女士,肯·麦卡龙.52-61
- 项代数中不等式的求解（扩展抽象）休伯特·科蒙.62-69
- 权限的动态逻辑罗恩·范德梅登.72-78
- 非单调规则系统理论V.威克托·马雷克,阿尼尔·内罗德,杰弗里·伦梅尔.79年至94年
- 反射证明的语义斯图亚特·艾伦,罗伯特·康斯特布尔,道格拉斯·J·豪,威廉·艾特肯.95-105
- 使用模态转换系统求解方程金·古德斯特兰·拉森,刘欣欣.108-117
- 分支互模拟的三种逻辑（扩展抽象）洛科·德·尼古拉,Frits W.Vaandrager公司.118-129
- 概率过程的反应、生成和分层模型罗布·范·格拉贝克,斯科特·斯莫尔卡,伯恩哈德·斯特芬,克里斯·M·N·托夫茨.130-141
- CCS同余有限公理化的不存在性法伦·莫勒.142-153
- 0-1无穷逻辑定律（初步报告）Phokion G.Kolaitis公司,莫舍·瓦尔迪.156-167
- 有限结构的隐式可定义性和无歧义计算（初步报告）Phokion G.Kolaitis公司.168-180
- ALOGTIME与S.a.Cook的一个猜想（扩展摘要）彼得·克洛特.181-189
- 关于边集上无量纲二阶一元图性质的表示（扩展抽象）布鲁诺·库塞尔.190-196
- 正常流程代表维杰·盖洛特,卡尔·A·冈特.200-207
- Petri网的一种分类线性框架凯珞琳·布朗,道格·古尔.208-218
- 允许逻辑程序的线性语义塞雷内拉·塞里托.219-227
- 等式逻辑程序设计：超越强序贯性R.C.塞卡尔,I.V.罗摩克里希南.230-241
- 地面重写系统理论是可决定的马克斯·道切特,索菲·蒂森.242-248
- 重写订单皮埃尔·莱斯坎.249-256
- Higman引理的构造性证明切坦·R·默西,詹姆斯·罗素.257-267
- 句法理论与统一克洛德·基什内尔,弗朗西斯·克莱.270-277
- 等式理论的证明变换托比亚斯·尼普科.278-288
- 求解丢番图方程组的一种新的AC统一算法亚历山大·布德特,伊芙琳·孔特让,埃尔维·德维.289-299
- 特征代数中的包含与半统一约钦·多尔,威廉·C·罗兹.300-310
- 类型惰性不等式的完备性斯塔夫罗斯·科斯马达基斯,阿尔伯特·梅耶,乔恩·G·里克.312-320
- 条件Lambda理论与程序静态特性的验证米切尔·旺德,王正宇.321-332
- 单线程多态Lambda演算胡安·古兹曼,保罗·哈达克.333至343
- 扩展PER彼得·弗雷德,P.穆里,朱塞佩·罗索里尼,达纳·S·斯科特.346-354
- 多态和递归类型的一个Per模型马丁·阿巴迪,戈登·普洛金.355-365
- 有效域与内禀结构韦斯利·菲亚.366-377
- 具体时间间隔逻辑（扩展抽象）哈里·刘易斯.380-389
- 实时逻辑：复杂性和表达性拉杰夫·阿鲁尔,托马斯·汉津格.390-401
- 显式时钟时序逻辑埃亚尔·哈雷尔,奥尔娜·利奇滕斯坦,阿米尔·普努利.402-413
- 实时系统的模型检查拉杰夫·阿鲁尔,科斯塔斯·库库贝蒂斯,大卫·L·迪尔.第414页至第425页
- 符号模型检查：10^20状态及以后杰里·伯奇,埃德蒙·克拉克,肯尼思·麦克米兰,大卫·L·迪尔,黄光裕（L.J.Hwang）.428-439
- 什么时候部分充足？一种使用部分规范的基于逻辑的证明技术牧场克利夫兰,伯恩哈德·斯特芬.440-449
- 在共享操作模型中建模共享状态肯尼思·戈德曼,南希·A·林奇.450-463
- 关于有效时间可判定性的极限（扩展抽象）E.艾伦·艾默生,迈克尔·布道者,杰伊·斯里尼瓦桑.464-475
- 论有限并发的威力——Ⅲ：程序推理（初步报告）哈雷尔,罗尼·罗斯纳,莫舍·瓦尔迪.478-488
- 不动点计算的新基础罗伊·克罗尔,安德鲁·皮特斯.489-497
- 递归类型简化为归纳类型彼得·弗雷德.498-507