ACM杂志，第47卷，2000年
第47卷第1期，2000年1月
亚尔·巴塔尔 , 埃迪·格罗夫 :
谐波 k个 -服务器算法具有竞争力。 1-15 帕特里克·戴蒙德 , 沃尔特·卢佐 
:
拥有全局内存和确定性无上下文语言识别的并行RAM。 16-45 大卫·R·卡格 :
近线性时间内的最小切割。 46-76 托马斯·艾特 , 尤里·古雷维奇 , 乔治·戈特洛布 :
字符串上的存在二阶逻辑。 77-131 伊迪丝·科恩 :
无向最短路径的多项式时间和近线性功近似方案。 132-166 彼得·W·奥赫恩 , 约翰·雷诺兹 :
从Algol到多态线性lambda演算。 167-223
第47卷第2期，2000年3月
马修·富兰克林 , 兹维·郭历理 , 莫蒂·容格（Moti Yung） :
窃听游戏：分布式系统中隐私的图形理论方法。 225-243 乔治·瓦尔盖塞 , 马赫什·贾亚拉姆 :
碰撞故障的故障范围。 244-293 罗伊·阿莫尼 , Amnon Ta-Shma公司 , 阿维·威格德森 , 周世玉 :
安 哦 （日志( n个 ) 4/3 )的空间算法( s、 t吨 )无向图中的连通性。 294-311 奥尔娜·库普夫曼 , 莫舍·瓦尔迪 , 皮埃尔·沃尔珀 :
分支时间模型检查的自动机理论方法。 312-360 罗伯托·贾科巴齐 , 弗朗西斯科·兰扎托 , 弗朗西丝卡·斯科扎里 :
完成抽象解释。 361-416
第47卷第3期，2000年5月
约翰·坎尼 , Ioannis Z.埃米利斯 :
稀疏结果的基于细分的算法。 417-451 罗宁·I·布拉夫曼 , 莫西·坦尼霍尔茨 :
三个定性决策标准的公理化处理。 452-482 Juhani Karhumäki公司 , 菲利波偏头痛 , 沃伊西奇·普兰多夫斯基（Wojciech Plandowski） :
语言和关系的表达能力。 483-505 阿莫斯·贝梅尔 , 弗朗西斯科·贝加达诺 , Nader H.Bshouty公司 , 埃亚尔·库什利维茨 , 斯特凡诺·瓦里奇奥 :
学习函数表示为多重自动机。 506-530 本杰明·皮尔斯 , 戴维德·桑吉奥吉 :
多态pi演算中的行为等价。 531-584
2000年7月第47卷第4期
盖伊，甚至 , 约瑟夫·纳尔 , 萨蒂什·拉奥 , 巴鲁克·希伯 :
通过扩展度量的分治近似算法。 585-616 巴拉·卡利亚纳桑达拉姆 , 柯克·普鲁斯 :
速度和洞察力一样强大。 617-643 本尼迪克特 , 列奥尼德·利布金 :
解释结构上的关系查询。 644-680 马丁·蒙德亨克 , 朱迪·戈德史密斯 , 克里斯托弗·卢塞纳 , 埃里克·阿伦德 :
有限时域马尔可夫决策过程问题的复杂性。 681-720 J.P.罗林 , 斯蒂芬·塞莱斯尼克 :
正统和量子逻辑：模型和计算元素。 721-751 艾坦·奥尔特曼 , 布鲁诺·高加尔 , 阿里·霍迪克 :
平衡的序列和最优的路由。 752-775 塞尔吉奥·安托伊 , 拉希德·埃哈希德 , 迈克尔·哈纳斯 :
一个必要的缩小策略。 776-822
第47卷第5期，2000年9月
约瑟夫·哈珀（Joseph Y.Halpern） :
社论：权利和责任法案。 823-825 大卫·A·科恩 , 彼得·杰文斯 , 彼得·琼森 , 马诺利斯·库巴拉基斯 :
构建易于处理的析取约束。 826-853 莱斯利·瓦利安特 :
用于认知计算的神经元结构。 854-882 萧永成（Siu-Wing Cheng） , 塔马尔·戴伊 , 赫伯特·埃德尔斯布伦纳 , 迈克尔·A·费赛罗 , 上华腾 :
银渗出。 883-904 陶江 , 李明（音） , 保罗·M·B·维坦伊 :
贝类平均情况复杂度的下限。 905-911 索马·乔杜里 , 赫利希 , 南希·A·林奇 , 马克·塔特尔 :
的严格界限 k个 -设定协议。 912-943 米罗斯瓦夫·库特洛夫斯基 , Krzysztof Lorys公司 , 布里吉特·欧斯特迪霍夫 , 罗尔夫·万卡 :
周期化方案：构建具有恒定周期的排序网络。 944-967
第47卷第6期，2000年11月
苏珊娜·阿尔伯斯 , 纳文·加格 , 斯特凡诺·莱昂纳迪 :
最小化单磁盘和并行磁盘系统中的暂停时间。 969-986 马丁·法拉赫-科尔顿 , 保罗·费拉吉纳 , S.穆图克里希南 :
后缀树构造的排序复杂性。 987-1011 伯纳德·夏泽尔 :
软堆：具有最佳错误率的近似优先级队列。 1012-1027 伯纳德·夏泽尔 :
一种具有逆阿克曼型复杂度的最小生成树算法。 1028-1047 莱斯利·安·戈德伯格 , 菲利普·麦肯齐 , 迈克·帕特森 , 阿拉文德·斯里尼瓦桑 :
具有恒定预期延迟的冲突解决。 1048-1096
