缺少摘要。
- 安全程度:面对妥协对手的协议保障大卫·A·巴思,Cas J.F.Cremers公司。1-18 [美国国防部]
- 游戏中的可定义性埃里希·格雷德尔。19-21 [美国国防部]
- 从可行证明到可行计算扬·克拉切克。22-31 [美国国防部]
- 约束满足的树对偶安德烈·克鲁金。32至33 [美国国防部]
- 数据结构微积分中的有序集维克托·昆卡,鲁齐卡·皮斯卡,菲利普·苏特。34-48 [美国国防部]
- 资源的溯源推理、归纳推理和演绎推理彼得·W·O·赫恩。49-50 [美国国防部]
- 程序验证的约束求解:理论与实践安德烈·里巴尔琴科。51 [美国国防部]
- 表au最小空格上:::CSL:::/mathcal{CSL}的演算雷吉斯·阿伦达,尼古拉·奥利韦蒂,卡米拉·施温德,德米特里·蒂什科夫斯基。52-66 [美国国防部]
- Prenex-Gödel逻辑的一种解析机制马提亚斯·巴兹,克里斯蒂安·弗缪勒(Christian G.Fermüller)。67-79 [美国国防部]
- X-underbar结构上连接查询的高效枚举纪尧姆·巴甘,阿诺德·杜兰德,艾曼纽尔·菲利奥特,奥利维尔·高文。80-94 [美国国防部]
- HOL4中上下文无关语法规范形式的形式化阿迪蒂·巴蒂瓦尔,迈克尔·诺里什。95-109 [美国国防部]
- 数据字上的自动机与逻辑本尼迪克特,克莱门斯·莱伊,加布里埃尔小狗。110-124 [美国国防部]
- 二进制编码的分级计算树逻辑亚历山德罗·比安科,法比奥·莫加维罗,阿尼埃洛·穆拉诺。125-139 [美国国防部]
- 精确探测和悬挂算法安德烈亚斯·布拉斯,纳丘姆·德肖维茨,尤里·古雷维奇。140-154 [美国国防部]
- 将演绎模嵌入到谚语中纪尧姆·伯勒。155-169 [美国国防部]
- 具有无穷乘数的指数阿尔贝托·卡拉罗,托马斯·埃尔哈德,安东尼诺·萨利布拉。170-184 [美国国防部]
- 经典次指数逻辑和直觉次指数逻辑同样具有表达性考斯特夫·乔杜里。185-199 [美国国防部]
- TAUT的切片单调参数化问题及最优证明系统陈一佳(音),Jörg Flum公司。200至214 [美国国防部]
- 序列性逻辑马丁·丘吉尔,詹姆斯·莱尔德。215-229 [美国国防部]
- 范畴量子力学中的环境和经典通道鲍勃·科克,西蒙·佩德里克斯。230-244 [美国国防部]
- 线性代数的形式理论史提芬·古克,莉拉字体。245-259 [美国国防部]
- 信息不完全的能量与平均回报博弈奥尔德里克·德戈尔,劳伦特·多恩,拉斐拉·金蒂里尼,Jean-François Raskin女士,Szymon Torunczyk公司。260-274 [美国国防部]
- 描述复杂性理论中的随机化和去随机化科德·艾克迈耶,马丁·格罗。275-289 [美国国防部]
- 一个典型的经典自然演绎系统何塞·埃斯皮里托·桑托。290-304 [美国国防部]
- 协调逻辑伯恩德·芬克贝纳,斯文·舍韦。305-319 [美国国防部]
- 二阶等式逻辑(扩展抽象)马塞洛·菲奥雷,中基尔湖。320-335 [美国国防部]
- 初等代数的纤维化归纳规则尼尔·加尼,帕特里夏·约翰,Clément Fumex公司。336至350 [美国国防部]
- 具有隐式项表示的序列演算斯特凡·赫兹尔。351-365 [美国国防部]
- 归纳结构上弱一元二阶逻辑的新算法托比亚斯·甘佐,卢卡斯·凯泽。366-380 [美国国防部]
- 结构:::lambda::::-微积分贝尼亚米·阿卡托利,迪莉娅·凯斯纳。381-395 [美国国防部]
- :::omega:::-自动树的同构问题迪特里希·库斯克,刘嘉谋,马库斯·洛伊。396-410 [美国国防部]
- 模态依赖逻辑的复杂性结果彼得·洛曼,赫里贝特·沃尔默。411-425 [美国国防部]
- 无等式一阶正逻辑的复杂性Ⅱ:四元情形巴纳比·马丁,乔斯·马丁。426-438 [美国国防部]
- 基于区域的欧氏逻辑的可计算性亚沃·尼诺夫,伊恩·普拉特·哈特曼。439-453 [美国国防部]
- 电感的定义弗雷德里克·诺德瓦尔·福斯伯格,安东·塞泽尔。454-468 [美国国防部]
- 分布式混合系统的量化微分动态逻辑安德烈·普拉泽。469-483 [美国国防部]
- 循环线性逻辑的非类型化代数结构和着色证明网达米安·普斯。484-498 [美国国防部]
- 具有二阶关系的二元逻辑(扩展抽象)托马斯·施温蒂克,托马斯·泽姆。499-513 [美国国防部]
- 签名扩展保持终止——一种通过依赖对的替代证明克里斯蒂安·斯特纳格尔,雷内·蒂曼。514-528 [美国国防部]
- Coq模理论Pierre-Yves支柱。529-543 [美国国防部]
- 2010年阿克曼奖约翰·马科夫斯基,达米安·尼文斯基。544-546 [美国国防部]