缺少摘要。
- 基因组减半问题再探讨马克斯·阿列克塞耶夫,帕维尔·A·佩夫兹纳.1-15 [美国国防部]
- 验证概率程序程序哈维尔·埃斯帕尔扎,库沙·埃特萨米.16-31 [美国国防部]
- 几何问题的流算法彼得罗·因迪克.32-34 [美国国防部]
- 共享变量并发的无粒度语义约翰·雷诺兹.35-48 [美国国防部]
- 正则语言、无歧义级联和计算复杂性丹尼斯·塞利安.49-57 [美国国防部]
- 稠密时间Petri网的Zenoness、句法有界性和Token-Leveness的判定帕罗什·阿齐兹·阿卜杜拉,普丽塔·马哈塔,理查·马.58-70 [美国国防部]
- 论紧急性表达米夏·阿德拉伊德,克莱尔·佩吉蒂.71-83 [美国国防部]
- 非周期跟踪语言的异步自动机理论表征巴拉特·阿德苏尔,米林德·索霍尼.84-96 [美国国防部]
- 分离逻辑的一个可判定片断乔什·伯丁,克里斯蒂亚诺·卡尔卡尼奥,彼得·W·O·赫恩.97-109 [美国国防部]
- 使用二进制空间分区的近似范围搜索马克·德伯格,米查·斯特里佩尔.110-121 [美国国防部]
- 可代表的不相交NP-Pairs奥拉夫·贝耶斯多夫.122-134 [美国国防部]
- 高阶无上下文过程的符号可达性分析艾哈迈德·布阿贾尼,安托万·梅耶.135-147 [美国国防部]
- 定价时间博弈自动机中的最优策略帕特里夏·鲍耶,弗兰克·卡塞兹,伊曼纽尔·弗勒里,金·古尔德斯特朗·拉森.148-160 [美国国防部]
- 信任管理的微积分马克·卡博尼,莫根斯·尼尔森,弗拉迪米罗·萨松.161-173 [美国国防部]
- 星、源和平面展开的短切维杰·钱德鲁,拉梅什·哈里哈兰,Narasimha M.Krishnakumar公司.174-185 [美国国防部]
- 细分Alpha复数Ho-Lun Cheng先生,陈庆炎.186-197 [美国国防部]
- 实反自动机及其决策问题哲当,奥斯卡·H·伊巴拉,皮埃尔路易吉·圣彼得罗,谢高燕.198-210 [美国国防部]
- 静态环境逻辑中通过游戏进行辅助消除阿努杰·达瓦尔,菲利普·加德纳,乔治·盖利.211-223 [美国国防部]
- 有限域中一元S1的互模拟不变片段阿努杰·达瓦尔,大卫·贾宁.224-236 [美国国防部]
- 论希尔伯特第17问题的复杂性尼基尔·德瓦努尔,理查德·利普顿,Nisheeth K.Vishnoi公司.237-249 [美国国防部]
- 谁在指什么时候指谁？迪诺·迪斯特法诺,Joost-Pieter Katoen公司,阿伦德·伦辛.250-262 [美国国防部]
- 随机（0-1）矩阵永久值的近似线性时间近似算法马丁·福勒,湿婆·普拉萨德·卡西维瓦纳坦.263-274 [美国国防部]
- 具有因果记忆的分布式博弈对串并联系统是可决定的保罗·加斯廷,本杰明·勒曼,马克·泽顿.275-286 [美国国防部]
- 扩展、放大和检查：WSTS覆盖性问题的新算法吉勒斯·杰拉尔茨,让-弗朗索瓦·拉斯金,劳伦特·范·贝京.287-298 [美国国防部]
- 最小权重伪三角形约阿希姆·古德蒙德森,克里斯托斯·列夫科普洛斯.299-310 [美国国防部]
- 未解释函数理论的连接算法苏米特·古尔瓦尼,阿什什·蒂瓦里,乔治·C·内库拉.311-323 [美国国防部]
- 不，Coreset，不要哭萨里尔·哈普莱德.324-335 [美国国防部]
- 硬度假设、去随机化和电路复杂性约翰·希区柯克,阿杜里·帕凡.336-347 [美国国防部]
- 最大图划分问题的改进近似算法杰罗德·贾格尔,阿南·斯利瓦斯塔夫.348-359 [美国国防部]
- 从正数据和有限数量的查询学习语言桑杰·贾恩,Efim B.Kinber公司.360-371 [美国国防部]
- 局部哈密顿问题的复杂性朱莉娅·坎佩,阿列克谢·基塔耶夫,奥德·雷格夫.372-383 [美国国防部]
- 量子与经典通信——矩形边界的空间权衡哈特穆特·克劳克.384-395 [美国国防部]
- 反应式协议的自适应稳定性谢·库滕,波阿斯·帕特·沙米尔.396-407 [美国国防部]
- 可视下推游戏克里斯托夫·洛丁,P.马都苏丹,奥利维尔·塞雷.408-420 [美国国防部]
- 细化和分离上下文伊万娜·米贾伊洛维奇,诺亚·托普·史密斯,彼得·W·O·赫恩.421-433 [美国国防部]
- 树结构MSO理论的可判定性安吉洛·蒙塔纳里,加布里埃尔小狗.434-446 [美国国防部]
- 无线Ad Hoc网络中的分布式着色和控制算法斯里尼瓦桑Parthasarathy 0002,拉吉夫·甘地.447-459 [美国国防部]
- 二部完全匹配的单调多线性布尔电路需要指数大小阿肖克·库马尔·蓬努斯瓦米,H.文卡特斯瓦兰.460-468 [美国国防部]
- 几何凸性检验路易斯·拉德马赫,桑托什·万帕拉.469-480 [美国国防部]
- 有向超图中线性连通性问题的复杂性马尤尔·塔库尔,拉胡尔·特里帕西.481-493 [美国国防部]
- 积极学习验证FIFO自动机的安全性阿比海·瓦尔丹,Koushik Sen公司,马赫什·维斯瓦纳坦,古尔·阿加.494-505 [美国国防部]
- 基于时间逻辑的博弈均衡推理G.文卡特斯.506-517 [美国国防部]
- 等式树自动机模XOR中的交替库马尔·内拉杰·维尔马.518-530 [美国国防部]