缺少摘要。
- 字符串图中的函数框保罗·安德烈·梅利埃。1-30 [美国国防部]
- 验证有限可表示无限结构的游戏语义方法的一些结果（扩展抽象）C.-H.卢克·翁。31-40 [美国国防部]
- 无限字母表上单词和树的自动机和逻辑吕克·塞古芬。41-57 [美国国防部]
- 非单调逻辑及其代数基础米罗斯瓦·特鲁兹琴斯基。58-71 [美国国防部]
- 半连续尺寸类型和终端安德烈亚斯·阿贝尔。72-88 [美国国防部]
- 可视下推自动机：从语言等价到模拟和互模拟吉尔·斯尔巴。89-103 [美国国防部]
- 自动机无限次运行的简单型Lambda项的有限语义克劳斯·艾利格。104-118 [美国国防部]
- 线性函数的幂桑德拉·阿尔维斯,玛丽贝尔·费尔南德斯,马里奥·弗洛里多,伊恩·麦基。119-134 [美国国防部]
- 通过证明复杂性实现逻辑全能性谢尔盖·N·阿特莫夫,罗曼·库兹涅茨。135-149 [美国国防部]
- 用对偶光仿射逻辑验证系统F项的时间可约性文森特·阿塔西,帕特里克·贝洛特,Kazushige Terui公司。150-166 [美国国防部]
- 树可分解结构上的MSO查询可计算线性延迟纪尧姆·巴甘。167-181 [美国国防部]
- 抽象分配尼克·本顿。182-196 [美国国防部]
- 无限域量化约束满足中的可折叠性曼纽尔·博德斯基,胡比·陈。197-211 [美国国防部]
- ：：：NC:：：：：纪尧姆·邦芬特,莱因哈德·卡勒,珍妮·伊夫·马里恩,伊莎贝尔·奥塔维姆。212-224 [美国国防部]
- 关于有理树阿诺焦油醇,克里斯托弗·莫万。225至239 [美国国防部]
- 概率序列程序状态的推理罗希特·查达,保罗·马特乌斯,Amílcar Sernadas公司。240-255 [美国国防部]
- 具有尾部目标的并发游戏克里希南德·查特吉。256-270 [美国国防部]
- 向上闭合目标的纳什均衡克里希南德·查特吉。271-286 [美国国防部]
- 信息不完全的欧米茄规则博弈算法：：：：克里希南德·查特吉,劳伦特·多恩,托马斯·汉津格,Jean-François Raskin女士。287-302 [美国国防部]
- 关联两个标准保密概念Véronique Cortier公司,米夏·鲁西诺维奇,尤根·扎利内斯库。303-318 [美国国防部]
- 从平行证明跳到顺序证明：乘法保罗·迪·詹贝尔蒂诺,克劳迪娅·法根。319-333 [美国国防部]
- 一元函数上的一阶查询阿诺德·杜兰德,油炸橄榄。334-348 [美国国防部]
- 命题动态逻辑的无限状态模型检验斯特凡·格勒,马库斯·洛伊。349-364 [美国国防部]
- 弱互模拟近似威尔·哈伍德,法伦·莫勒,安东·塞泽尔。365-379 [美国国防部]
- 高阶逻辑的完全问题劳里·海拉,何塞·玛丽亚·图鲁尔·托雷斯。380-394 [美国国防部]
- 在不确定的情况下解决游戏托马斯·汉津格,尼尔·皮特曼。395-410 [美国国防部]
- 自动结构的博弈量化与层次模型检验博弈卢卡斯·凯泽。411-425 [美国国防部]
- 克雷恩海滩特性的代数观点克莱门斯·劳特曼,帕斯卡·泰森,丹尼斯·塞利安。426-440 [美国国防部]
- 类型理论的序贯演算圣埃芬·伦格兰,罗伊·戴克霍夫,詹姆斯·麦金纳。441-455 [美国国防部]
- 局部布尔域模型的普适性结果托比亚斯·勒夫,托马斯·斯特里彻。456-470 [美国国防部]
- 普遍结构与禁忌模式的逻辑弗洛伦特·马德兰。471-485年 [美国国防部]
- 论图逻辑的表现力杰里·马尔辛科夫斯基（Jerzy Marcinkowski）。486-500 [美国国防部]
- 抽象中的Hoare逻辑乌苏拉·马丁,埃里克·马蒂森,保罗·奥利瓦。501-515 [美国国防部]
- IZF的归一化及其替换沃伊切赫·莫奇德洛夫斯基（Wojciech Moczydlowski）。516-530 [美国国防部]
- 乘法指数线性逻辑中的非循环性和相干性米歇尔·帕加尼。531-545 [美国国防部]
- 带参数的Church综合问题亚历山大·莫西·拉宾诺维奇。546-561 [美国国防部]
- 具有一元谓词的自然数排序的可判定理论亚历山大·莫西·拉宾诺维奇,沃尔夫冈·托马斯。562-574 [美国国防部]
- 高阶存储的分离逻辑伯恩哈德再利用,简·施温哈默。575-590 [美国国防部]
- 交替时间：：：mu:：：-演算的可满足性和有限模型性质斯文·舍韦,伯恩德·芬克贝纳。591-605 [美国国防部]
- 基于交互的空间效率计算乌尔里希·舍普。606-621 [美国国防部]
- 2006年阿克曼奖萨姆森·阿布拉姆斯基,埃里希·格雷德尔,约翰·马科夫斯基。622-626 [美国国防部]