缺少摘要。
- 具有线程类的面向对象微积分的堆抽象艾瑞卡·布拉哈姆,安德烈亚斯·格吕纳,马丁·斯特芬.1-10 [美国国防部]
- 从可构造性和绝对性到可计算性和领域独立性阿诺·阿夫伦.11-20 [美国国防部]
- 数据类型-通用推理罗兰·卡尔·巴克豪斯.21-34 [美国国防部]
- 一致连续性定理的逻辑强度约瑟夫·伯杰.35-39 [美国国防部]
- 有理函数域的初等代数规范简·A·伯格斯特拉.40-54 [美国国防部]
- 随机闭集保罗·布罗德黑德,道格拉斯·森泽,塞耶德·达什蒂.55-64 [美国国防部]
- 深层推理及其派生的范式凯·布伦勒.65-74 [美国国防部]
- 功能和结构的日志空间复杂性道格拉斯·岑泽,齐亚·乌丁.75-84 [美国国防部]
- 类前缀复杂性和极限的可计算性亚历克谢·V·切尔诺夫,尤根·施密杜贝尔（Jürgen Schmidhuber）.85-93 [美国国防部]
- 部分连续函数与可容许域表示弗雷德里克·达尔格伦.94-104 [美国国防部]
- Lambda微积分的一个不变代价模型乌戈·达尔·拉戈,马提尼.105-114 [美国国防部]
- 关于Sperner引理的复杂性斯特凡·丹切夫.115-124 [美国国防部]
- 教会教育论文：共识与反对马丁·戴维斯.125-132 [美国国防部]
- 哥德尔与计算机科学的起源约翰·道森（John W.Dawson Jr.）。.133-136 [美国国防部]
- 代数模型和2型有效性理论在专用处理器设计中的作用格雷戈里奥·德·米盖尔·卡萨多,胡安·曼努埃尔·加西亚·查米佐.137-146 [美国国防部]
- 动力系统中的图灵普适性Jean-Charles Delvenne公司.147-152 [美国国防部]
- 每个序列都可以从随机序列中解压缩大卫·多蒂.153-162 [美国国防部]
- 可逆保守有理抽象几何计算是图灵通用的杰罗姆·杜兰·洛斯.163-172 [美国国防部]
- LJQ：直觉主义逻辑的一个强聚焦微积分罗伊·戴克霍夫,圣埃芬·伦格兰.173-185 [美国国防部]
- Böhm树、Krivine机器和Lambda-Terms的泰勒展开托马斯·埃尔哈德,劳伦特·雷格尼尔.186-197年 [美国国防部]
- 不完全性定理给暂停问题的不可解性增加了什么？托尔科·弗兰岑（Torkel Franzén）.198-198年 [美国国防部]
- 根据有效Borel可测性分析Urysohn和Urysonn-Tietze的引理吉多·格拉迪.199-208 [美国国防部]
- 多项式时限的枚举可约性查尔斯·哈里斯.209-220 [美国国防部]
- 基本实计算的共性证明铁厚.221-230 [美国国防部]
- Reals上计算空间的度量保林·雅各布·德诺罗斯（Paulin Jacobéde Naurois）.231-240 [美国国防部]
- 关于限制图类的图同构约翰内斯·科布勒.241-256 [美国国防部]
- 无限时间寄存器机器彼得·科普克.257-266 [美国国防部]
- Pfaffian混杂系统有限双模拟大小的上下限玛格丽塔·科罗维纳,尼古拉·沃罗乔夫.267-276 [美国国防部]
- 随机变量强制与证明复杂性扬·克拉切克.277-278 [美国国防部]
- 复杂性理论层次拉尔斯·克里斯蒂安森.279-288 [美国国防部]
- 有限标记森林同态拟序的不确定性奥列格·库迪诺夫,维克托·塞利瓦诺夫.289-296 [美国国防部]
- 使用Kolmogorov复杂性的下限苏菲·拉普兰特.297-306 [美国国防部]
- 极小覆盖的跳跃类安德鲁·刘易斯.307-318 [美国国防部]
- 无限计算的空间边界Benedikt Löwe公司.319-329 [美国国防部]
- 从动物园到动物学：图多项式的描述复杂性约翰·马科夫斯基.330-341 [美国国防部]
- 走向量化：：：H:：：-着色的三分法巴纳比·马丁,弗洛伦特·马德兰.342-352 [美国国防部]
- 关于有效维数的两个公开问题埃尔维拉·马约尔多莫.353-359 [美国国防部]
- 多项式系统求解的优化与逼近问题克劳斯·梅尔.360-367 [美国国防部]
- 低于实际暂停问题的不可计算性克劳斯·梅尔,马丁·齐格勒.368-377 [美国国防部]
- 超计算的约束格雷格·迈克尔森,保罗·科克肖特.378-387 [美国国防部]
- P中的鞅族与维数菲利普·莫瑟.388-397 [美国国防部]
- 广义相对论计算机能打破图灵障碍吗？伊斯特万·内梅蒂,哈尼尔·安德雷卡.398-412 [美国国防部]
- 弱可计算实的度Keng Meng Ng公司,弗兰克·斯蒂芬,吴国华.413-422 [美国国防部]
- 理解和使用经典分析的Spector条递归解释保罗·奥利瓦.423-434 [美国国防部]
- 代数基本定理的次递归精化彼得·佩舍夫,迪米特·斯科德夫.435-444 [美国国防部]
- 程序和线程代数简介阿尔班·蓬塞,马克·范德兹瓦格.445-458 [美国国防部]
- 快速量词消除均值P=NP米海普鲁内斯库.459-470 [美国国防部]
- 可计算分析中的可容许表示马蒂亚斯·施罗德.471-480 [美国国防部]
- 诺特模有诺特基函数吗？彼特·舒斯特,朱莉亚·扎佩.481-489 [美国国防部]
- 构造分析中的反转单调连续函数赫尔穆特·施维滕贝格.490-504 [美国国防部]
- Martin-Löf型理论中的部分递归函数安东·塞泽尔.505-515 [美国国防部]
- 有限模型上的部分序连接词和和：：：1::：：1:：梅利恩·塞文斯特,特罗·图伦海莫.516-525 [美国国防部]
- 带移动膜P系统计算能力的上下限桑卡拉·纳拉亚南·克里希纳.526-535 [美国国防部]
- 哥德尔有效可计算性的冲突方法威尔弗里德·西格.536-537 [美国国防部]
- 合计枚举度鲍里斯·索隆.538-545 [美国国防部]
- 相对度谱亚历山德拉·A·索斯科娃.546-555 [美国国防部]
- 可计算函数某些自然子类的相变阈值安德烈亚斯·魏尔曼.556-570 [美国国防部]
- Hamkins-Kidder Turing机器的非确定性停机时间菲利普·D·韦尔奇.571-574 [美国国防部]
- 库尔特·哥德尔与可计算性理论理查德·扎克.575-583 [美国国防部]
- 实数的可计算性理论郑西忠.584-594 [美国国防部]
- 抽象代数上的本原递归选择函数杰弗里·扎克.595-606 [美国国防部]