缺少摘要。
- 背景、储备和甘地机器安德烈亚斯·布拉斯,尤里·古雷维奇.1-17 [美国国防部]
- 无选择多项式时间计算与零一定律安德烈亚斯·布拉斯,尤里·古雷维奇.18-40 [美国国防部]
- 顺序ASM的组成和子机概念伊贡·博格尔,专家施密特.41-60 [美国国防部]
- 试探性错误使用做结构构造限制性快速定量布鲁诺·波扎特.61-70 [美国国防部]
- 将理论转化为实践——微软内部的抽象状态机沃尔夫拉姆·舒尔特.71 [美国国防部]
- 无选择的多标称时间逻辑：无法表达撒哈拉沙拉.72至125 [美国国防部]
- 重新访问架构科林·斯特林.126-138 [美国国防部]
- 自动验证=图形、自动和逻辑Moshe Y.瓦尔迪.139 [美国国防部]
- ML多态类型的完全PER模型萨姆森·阿布拉姆斯基,玛丽娜·莱尼萨.140-155 [美国国防部]
- 带有电源类型的子类型大卫·阿斯皮纳尔.156-171 [美国国防部]
- 有界公式不动点的描述性复数阿尔伯特·阿塞里亚斯.172-186年 [美国国防部]
- 超序列与直觉模糊逻辑的证明理论马提亚斯·巴兹,理查德·扎克.187-201 [美国国防部]
- 从属类型的连续泛函与等价空间安德烈·鲍尔,拉尔斯·比克达尔.202-216 [美国国防部]
- 线性约束的可定义性本尼迪克特,H.杰罗姆·凯斯勒.217-231 [美国国防部]
- 有界算法和描述复杂性阿奇姆·布卢门萨特.232-246 [美国国防部]
- 独立性：逻辑与并发朱利安·布拉德菲尔德.247-261 [美国国防部]
- 扁平不是缺点休伯特·科蒙,Véronique Cortier公司.262-276 [美国国防部]
- 序列、框架和完整性蒂埃里·科昆,张国强.277-291 [美国国防部]
- 析取重言式作为同步方案文森特·达诺斯,Jean-Louis Krivine女士.292-301 [美国国防部]
- 最小不动点运算的公理化与二元上确界佐尔坦·埃西克.302-316年 [美国国防部]
- 依赖类型理论中的交互程序汉科克,安东·塞泽尔.317-331 [美国国防部]
- 确定性线性空间中的模态可满足性伊迪丝·赫马斯潘德拉.332-342 [美国国防部]
- 逻辑程序设计与共诱导定义马蒂厄·久姆.343-355 [美国国防部]
- 显式数学理论等价于ID:：1:：莱因哈德·卡勒,托马斯·斯图德.356-370 [美国国防部]
- 显式模态逻辑的复杂性罗曼·库兹涅茨.371-383 [美国国防部]
- 有限模型和完全完备性詹姆斯·莱尔德.384-398 [美国国防部]
- Blum、Shub和Smale计算模型中图形属性的组合生成函数和亚有限生成函数的复杂性约翰·马科夫斯基,克劳斯·梅尔.399-410 [美国国防部]
- 逻辑框架中否定的消除阿尔贝托·莫米利亚诺.411-426 [美国国防部]
- 谨慎游戏、轻仿射逻辑和PTIME计算安德烈·穆拉夫斯基,C.-H.卢克·翁.427-441 [美国国防部]
- 高阶时长微积分的完备性詹乃军.442-456 [美国国防部]
- 基于语义标注的等式终止大崎仁史,阿尔特·米德尔多普,吉尔根·吉斯尔.457-471 [美国国防部]
- 论否定的计算解释米歇尔·帕里格特.472-484 [美国国防部]
- 从程序到游戏：双向模拟的不变性和安全性马克·保利.485-496 [美国国防部]
- 逻辑关系和数据抽象约翰·鲍尔,埃德蒙·罗宾逊.497-511年 [美国国防部]
- 基本无选择建构分析彼特·舒斯特.512-526 [美国国防部]
- 论标准证明谓词的逻辑罗斯蒂斯拉夫·雅沃斯基.527-541 [美国国防部]