缺少摘要。
- 生成短基问题的硬实例米克洛斯·阿杰泰.1-9 [美国国防部]
- 广域计算鲁卡·凯德利.10-24 [美国国防部]
- 密码协议的证明技术凯文·康普顿,斯科特·德克斯特.25-39岁 [美国国防部]
- 低级程序设计语言的类型结构卡尔·克莱里,J.格雷戈里·莫里塞特.40-54 [美国国防部]
- 假数字的实际计算菲利佩·库克.55-73 [美国国防部]
- 联想记忆模型是思维和意识的基础N.G.de Bruijn公司.74-89 [美国国防部]
- 精确实数算法的数值积分阿巴斯·艾达拉特,马尔科·科兹纳里.90-104 [美国国防部]
- 关于计算机科学性质和状态的观察(主题演讲)哈特马尼斯.105 [美国国防部]
- DNA计算:新理念和新范式格列泽戈兹·罗森伯格,阿尔托·萨洛马.106-118 [美国国防部]
- 外部存储器中的联机数据结构杰弗里·斯科特·维特.119-133 [美国国防部]
- 从计算学习理论到发现科学渡边大木.134-148 [美国国防部]
- 有界深度算术电路:计数与闭包埃里克·阿伦德,安德里斯·安拜尼斯,大卫·A·米什·巴林顿,萨米尔·达塔,Huong LeThanh公司.149-158 [美国国防部]
- 模型测量的参数时序逻辑拉杰夫·阿鲁尔,库沙·埃特萨米,萨尔瓦托雷·拉托雷,多伦·贝利德.159-168 [美国国防部]
- 通信分层状态机拉杰夫·阿鲁尔,桑帕斯·坎南,米哈利斯·扬纳卡基斯.169-178 [美国国防部]
- 小伪随机集产生硬函数:分支程序的新紧显下界亚历山大·安德列夫,尤里·巴斯卡科夫,安德烈亚·克莱门蒂,何塞·D·P·罗利姆.179-189 [美国国防部]
- Petri网的一般形态(扩展抽象)马雷克·贝德纳西克,安德烈·博尔兹科夫斯基(Andrzej M.Borzyszkowski).190-199 [美国国防部]
- 关于一些更紧的不逼近结果(扩展摘要)彼得·伯曼,马雷克·卡宾斯基.200-209 [美国国防部]
- 时间自动机的分解与合成帕特里夏·鲍耶,安托万·佩蒂特.210-219 [美国国防部]
- 不可压缩方法的新应用哈里·布尔曼,陶江,李明(音),保罗·M·B·维坦伊.220年至229年 [美国国防部]
- 移动环境的移动类型鲁卡·凯德利,安德鲁·戈登,乔治·盖利.230-239 [美国国防部]
- 蛋白质折叠、Levinthal悖论和快速混合马尔可夫链彼得·克洛特.240-249 [美国国防部]
- 同时刚性可达性的可判定碎片Véronique Cortier公司,哈拉尔德·甘津格,弗洛伦特·雅克马尔,玛格斯·维恩斯.250-260 [美国国防部]
- 使用反字典进行文本压缩马克西姆·克罗切莫尔,菲利波偏头痛,安东尼奥·雷斯蒂沃,塞尔吉奥·萨莱米.261-270 [美国国防部]
- 非交互式零知识:NP的低随机性表征阿尔弗雷多·德·桑提斯,乔瓦尼·迪·克雷塞佐,朱塞佩·佩西亚诺.271-280 [美国国防部]
- 时间交替树自动机:TCTL模型检验问题的自动机理论解马丁·迪科尔,托马斯·威尔克.281-290 [美国国防部]
- 图属性的时空权衡是的,多迪斯,桑吉夫·坎纳.291-300 [美国国防部]
- 重置P/T网的有界性凯瑟琳·杜福尔德,彼得·詹卡尔,Schnoebelen博士.301-310 [美国国防部]
- 双向有限状态传感器和一元二阶逻辑乔斯特·恩格弗里特,亨德里克·扬·胡格博姆.311-320 [美国国防部]
- 图查询的偏序正则语言塞尔吉奥·弗莱斯卡,塞尔吉奥·格雷科.321-330 [美国国防部]
- 局部树分解图的一阶性质的判定马库斯·弗里克,马丁·格罗.331-340 [美国国防部]
- 使用格式比较过程代数等价瓦什蒂·加尔宾.341-350 [美国国防部]
- 有界亏格图的紧路由表西里尔·加维尔,尼古拉斯·哈努塞.351-360 [美国国防部]
- 计算LOGCFL证书乔治·戈特洛布,尼古拉·利昂,弗朗西斯科·斯卡切罗.361-371 [美国国防部]
- 链接数据结构中维护多维密钥的有效技术罗伯托·格罗西,朱塞佩·F·意大利.372-381 [美国国防部]
- 关于部分k树的补阿尔文德·古普塔,达蒙·卡勒,托马斯·谢尔默.382-391 [美国国防部]
- TSP动力学变量的近似结果米凯尔·哈马尔,本特·尼尔森.392-401 [美国国防部]
- 分布式概率轮询及其在比例协议中的应用耶胡达·哈辛,大卫·佩莱.402-411 [美国国防部]
- 赋范过程代数的互模拟等价性是可判定的约拉姆·赫什菲尔德,马克·杰拉姆.412-421 [美国国防部]
- 可判定度量逻辑的框架约拉姆·赫什菲尔德,亚历山大·莫舍·拉宾诺维奇.422-432 [美国国防部]
- 拉斯维加斯的力量2。双向有限自动机尤拉杰·赫罗姆科维奇,乔治·施尼特.433-442 [美国国防部]
- 不完整列表和关系的稳定婚姻岩岛和雄,大卫·曼洛夫,宫崎骏水池,森田康夫.443-452 [美国国防部]
- Shellsort的平均案例复杂性陶江,李明(音),保罗·M·B·维坦伊.453-462 [美国国防部]
- 二维后缀树的线性时间构造金东奎(Dong Kyue Kim),坤秀公园.463-472 [美国国防部]
- 迹幺半群中恒星问题与有限幂性质的联系丹尼尔·克里斯滕.473-482 [美国国防部]
- 恒星问题中的两个技巧丹尼尔·克里斯滕,杰里·马尔辛科夫斯基(Jerzy Marcinkowski).483-492 [美国国防部]
- OBDD逼近与变量排序问题马蒂亚斯·克劳斯,彼得·萨维克,英戈·韦格纳.493-502 [美国国防部]
- 简单过程代数上的模拟预序安东·库塞拉,理查·马.503-512 [美国国防部]
- 独奏音乐会科西莫·拉伊夫,比约恩·维克多.513-523 [美国国防部]
- 地形上最短的各向异性路径马克·兰蒂尔,阿尼尔·马赫什瓦里,Jörg-Rüdiger袋.524-533 [美国国防部]
- 词的局部周期性与全局周期性的关系Arto Lepistö.534-543 [美国国防部]
- 进化树的高效合并、构造和维护安德烈·林加斯,汉斯·奥尔森,安娜·斯特林.544-553 [美国国防部]
- 形式化µ;的惰性替代证明系统-归纳结构微积分中的微积分马里诺·米库兰.554-564 [美国国防部]
- 用d维元胞自动机进行领导人选举科德林·M.尼奇蒂乌,埃里克·雷米拉.565-574 [美国国防部]
- MaxSat的新上限罗尔夫·尼德迈尔,彼得·罗斯马尼思.575-584 [美国国防部]
- 多项式和有理求值与插值(使用结构化矩阵)瓦迪姆·奥尔舍夫斯基,维克多·Y·潘.585-594 [美国国防部]
- 具有O(1)最坏情况查找时间的静态词典中的低冗余拉斯穆斯·帕赫.595-604 [美国国防部]
- 具有广义验收准则的有限自动机蒂莫·佩奇尔,赫里贝特·沃尔默.605-614 [美国国防部]
- 一种平均复杂度较低的Arrow分布式目录变体大卫·佩莱,艾伦·雷谢夫.615-624 [美国国防部]
- 封闭的Freyd-和kappa-类别约翰·鲍尔,Hayo Thielecke先生.625-634 [美国国防部]
- 类型化的Exeptions和Continuation不能用宏表示彼此乔恩·里克,Hayo Thielecke先生.635-644 [美国国防部]
- 自动机、幂级数和同化:认真对待输入导数Jan J.M.M.鲁滕.645-654 [美国国防部]
- 通过集合关联缓存访问多个序列彼得·桑德斯.655-664 [美国国防部]
- T(A)=T(B)?盖劳德·塞尼泽格斯.665-675 [美国国防部]
- 多值逻辑与全息证明马里奥·塞格迪.676-686 [美国国防部]
- 最短隐含问题的复杂性和不逼近性克里斯托弗·乌曼斯.68年7月96日 [美国国防部]
- 波传播器是图灵可计算的克劳斯·维赫劳赫(Klaus Weihrauch),宁忠0002.697-707 [美国国防部]
- 单机上一致加权方差的FPTAS格哈德·沃金格(Gerhard J.Woeginger).707-716 [美国国防部]
- 勘误表:布尔矩阵的批量同步并行乘法亚历山大·提斯金.717-718 [美国国防部]