缺少摘要。
- 安全程度:面对妥协对手的协议保障大卫·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 [doi]
- 二进制编码的分级计算树逻辑亚历山德罗·比安科,法比奥·莫加维罗,阿尼埃洛·穆拉诺.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模理论皮埃尔·伊夫·斯特鲁布.529-543 [美国国防部]
- 2010年阿克曼奖约翰·马科夫斯基,达米安·尼文斯基.544-546 [美国国防部]