ACM杂志,第40卷,1993年
第40卷第1期,1993年1月
让·盖利尔 , 巴利亚特·纳伦德兰 , 大卫·A·普莱斯特 , 斯坦·拉茨 , 韦恩·斯奈德 :
一种多项式时间内寻找地面重写规则规范集的算法。 1-16 丹尼·多列夫 , 辛提亚·沃克 , 奥利·沃茨 , 莫蒂·容格(Moti Yung) :
完美安全的消息传输。 17-47 约翰·D·霍比 :
从大纲生成自动调整的位图。 48-94 雷纳德·皮特 , 曼弗雷德·K·沃穆特 :
最小一致DFA问题不能在任何多项式中近似。 95-142 罗伯·哈波 , 福里奥·霍塞尔 , 戈登·普洛金 :
定义逻辑的框架。 143-184 达娜·安格鲁因 , 丽莎·海勒斯坦 , 马雷克·卡宾斯基 :
通过查询学习朗读公式。 185-210
第40卷第2期,1993年4月
Nader H.Bshouty公司 :
关于随机存取机函数的复杂性。 211-223 安德烈亚·拉帕 :
再污染无助于搜索图形。 224-245 大卫·A·麦卡利斯特 , 罗伯特·吉万 :
一阶推理的分类语法。 246-283 大卫·A·麦卡利斯特 :
推理关系中可追溯性的自动识别。 284-303 大卫·M·尼科尔 :
并行离散事件仿真中保守同步的代价。 304-333 吉尔·内格尔 , 萨姆·图格 :
模拟分布式系统中的同步时钟和公共知识。 334-367 托马斯·伦高 , 伊贡·旺克 :
无中心图形语言上图形属性的有效决策过程。 368-393 梁建康(Kin K.Leung) :
优先级排队系统中用于服务附加作业的执行/休眠调度策略。 394-417
第40卷第3期,1993年7月
唐·科珀史密斯 , 彼得·道尔 , 拉加万 , 史尼亚 :
加权图上的随机游动及其在在线算法中的应用。 421-453 霍华德·卡洛夫 , 拉加万 :
随机算法和伪随机数。 454-476 弗兰兹·巴德 :
交换理论、希尔伯特基定理和格罗布纳基的统一。 477-503 尼尔·V·穆雷 , 埃里克·罗森塔尔 :
解散:让道路消失。 504-535 C.A.约翰逊 :
连接方法中的因式分解和电路。 536-557 王铁成 :
Z-模推理:一种具有内置环公理的面向等式的证明方法。 558-606 内森·利尼尔 , 伊莎·曼苏尔 , 诺姆·尼桑 :
恒定深度电路、傅里叶变换和可学习性。 607-620 库尔特·梅尔霍恩 , Athanasios K.Tsakalidis公司 :
动态插值搜索。 621-634 马克·范·克雷维尔德 , 马克·奥弗马斯 :
联合复制结构和动态段树。 635-652 Jos C.M.Baeten先生 , 简·A·伯格斯特拉 , 简·威廉·克洛普 :
生成上下文无关语言的进程的互模拟等价性的判定。 653-682 哈伊姆·盖夫曼 , 哈里·梅森 , 叶霍舒亚·萨吉夫 , 莫舍·瓦尔迪 :
数据库逻辑程序的不确定优化问题。 683-713 伦道夫·D·纳尔逊 , 唐纳德·托斯利 :
并行处理系统几个优先级策略的性能评估。 714-740 桑迪普·N·巴特 , Jin-yi Cai公司 :
随机漫步在超立方体中种植树木。 741-764 理查德·卡普 , 张彦军(Yanjun Zhang) :
回溯搜索和分枝定界计算的随机并行算法。 765-789
第40卷第4期,1993年9月
伊迪丝·科恩 , 尼姆罗德·梅吉多 :
周期图中检测圈的强多项式时间和NC算法。 791-830 菲利普·S·余 , 丹尼尔·迪亚斯 , 斯蒂芬·拉文伯格 :
关于数据库并发控制的分析建模。 831-872 耶胡达·阿菲克 , 哈吉特·阿提亚 , 丹尼·多列夫 , 埃利·加夫尼 , 迈克尔·梅里特 , 谢菲特 :
共享内存的原子快照。 873-890 福托N.Afrati , 克里斯托斯·帕帕迪米特里奥 :
简单逻辑程序的并行复杂性。 891-916 约瑟夫·哈珀(Joseph Y.Halpern) , 马克·塔特尔 :
知识、概率和对手。 917-962 V.威克托·马雷克 , 格里戈里·施瓦茨 , 米罗斯瓦·特鲁兹琴斯基 :
模态非单调逻辑:范围,表征,计算。 963-990
第40卷第5期,1993年11月
小爱德华·G·考夫曼。 , M.R.Garey先生 :
抢占式和非抢占式两处理器调度4/3猜想的证明。 991-1018 罗志泉 , 约翰·齐齐克利斯 :
分布式代数计算的通信复杂性。 1019-1047 布鲁斯·兰德尔·唐纳德 , 帕特里克·泽维尔 , 约翰·坎尼 , 约翰·雷夫 :
运动动力学运动规划。 1048-1066 Y.C.Tay先生 :
多连接策略的最优性。 1067-1086 艾伦·D·费科特 , 南希·A·林奇 , 伊莎·曼苏尔 , 约翰·斯皮内利 :
面对崩溃,实现可靠通信的可能性。 1087-1107 马丁·查尔斯·格伦比奇 , 罗恩·沙米尔 :
时间推理的复杂性和算法:图论方法。 1108-1133 斯特凡·阿恩伯格 , 布鲁诺·库塞尔 , 安德烈·普洛斯科洛夫斯基 , Detlef Seese公司 :
图约简的代数理论。 1134-1164 吉恩·丰卢普 , 阿尔曼·纳切夫 :
动态规划和图形旅行推销员问题。 1165-1187 阿兰·詹·马利 , 利文特·格林 :
具有重排序的并行队列。 1188-1208 弗朗索瓦·巴切利 , 甄柳 , 唐纳德·托斯利 :
具有和不具有实时约束的并行处理的极端调度。 1209-1237 查尔斯·克内斯 :
有限容量处理器共享队列中的逗留时间分布。 1238-1301