![第一页图像](/cms/asset/df236c34-115e-41ae-85b7-9934c7cd3301/322234.322243.fp.png)
1 AHO,A.V.、HOPCROFT,J.E.和ULLMAN,J.D.《计算机算法的设计与分析》。 Addison-Wesley,雷丁,马萨诸塞州,1974年。 谷歌学者 2 HERMAN,L.普雷斯伯格算法和加法实数的精确边界。 程序。 第18届IEEE交响乐团。 《计算机科学基础》,普罗维登斯,R.I.,1977年,第95-99页。 谷歌学者 三 博罗丁,A.个人沟通。 谷歌学者 4 CHANDRA,A.K.和STOCKMEYER,L.J.交替。 程序。 第17届IEE交响乐团。 《计算机科学基础》,德克萨斯州休斯顿,1976年,第98-108页。 谷歌学者 5 COOK,S.A.定理证明过程的复杂性。 程序。 第三交响乐团。 《计算理论》,Shaker Heights出版社,俄亥俄州,1971年,第151-158页。 谷歌学者 6 FISCHER,M.J.和LADNER,R.E.正则程序的命题动态逻辑。 J.计算。 系统。 科学。 18, 2 (1979), 194-211. 谷歌学者 7 GOLDSCHLAGER,L.M.同步并行机模型的统一方法。 程序。 第十届ACM交响乐团。 《计算理论》,加州圣地亚哥,1978年,第89-94页。 谷歌学者 8 HARTMANIS,J.和HUNT,H.B.III.LBA问题及其在计算理论中的重要性。 《计算复杂性》,R.M.Karp,Ed.,美国数学学会,普罗维登斯,R.I.,1974年,第1-26页。 谷歌学者 9 HARTMANIS,J.,AND SIMON,J.关于随机接入机中乘法的幂。 程序。 第15届IEEE研讨会。 关于切换和自动理论,路易斯安那州新奥尔良,1974年,第13-23页。 谷歌学者 10 HOPCROFT,J.E.和ULLMAN,J.D.形式语言及其与自动机的关系。 Addison-Wesley,马萨诸塞州雷丁,1969年。 谷歌学者 11 KARP,R.M.组合问题中的可约性。 《计算机计算的复杂性》,R.E.Miller和J.W.Thatcher主编,Plenum出版社,纽约,1972年,第85-104页。 谷歌学者 12 KASA'I,T.、ADACHI,A.和1WATA,S.卵石游戏和完整问题的类。 SIAM J.计算。 8 (1979), 574-586. 谷歌学者 13 KOZEN,D.论图灵机中的并行性。 程序。 第17届IEEE交响乐团。 《计算机科学基础》,德克萨斯州休斯顿,1976年,第89-97页。 谷歌学者 14 KOZEN,D.布尔代数的复杂性。 理论。 计算。 ScL I0(1980),221-247。 谷歌学者 15 LADNER,R.E.,LIPTON,R.J.和STOCKMEYER,L.J.交替下推自动机。 程序。 第19届IEE交响乐团。 《计算机科学基础》,密歇根州安阿伯,1978年。 谷歌学者 16 MEYER,A.R.和FISCHER,M.J.自动机、语法和形式系统描述的经济学。 程序。 第12届IEEE交响乐团。 《交换和自动化理论》,密歇根州东兰辛,1971年,第188-191页。 谷歌学者 17 PRATT,V.R.和STOCKMEYER,L.J.向量机功率的表征。 J.计算。 系统。 ScL 12(1976),198-221。 谷歌学者 18 RABIN,M.O.和SCOTT,D.有限自动机及其决策问题。 IBM J.Res.Dev.3(1959年),第115-125页。 谷歌学者 19 Rozzo,W.L.一般无上下文语言识别。 博士学位。, 加州大学伯克利分校计算机科学部,1978年。 谷歌学者 20 SAVITCH,W.J.非确定性和确定性磁带复杂性之间的关系。 J.计算。 系统。 科学4(1970),177-192。 谷歌学者 21 SAVITCH,W.J.和STIMSON,M.J.有时限递归计算的复杂性。 程序。 1976年约翰·霍普金斯信息科学与系统会议,马里兰州巴尔的摩,第42-46页。 谷歌学者 22 SCOTT,D.计算数学理论概述。 程序。 《普林斯顿信息科学与系统会议年鉴》,普林斯顿,新泽西州,1970年,第169-176页。 谷歌学者 23 SIMON,J.关于可行数。 程序。 第九届ACM交响乐团。 《计算理论》,科罗拉多州博尔德,1977年,第195-207页。 谷歌学者 24 STOCKMEYER,L.J.多项式时间层次结构。 理论。 计算。 ScL 3(1977),1-22。 谷歌学者 25 STOCKMEYER,L.J.和CHANDRA,A.K.难度极高的组合游戏。 SIAM J.计算。 8 (1979), 151-174. 谷歌学者 26 STOCKMEYER,L.J.和MEYER,A.R.需要指数时间的单词问题:初步报告。 程序。 第五交响乐团。 《计算理论》,德克萨斯州奥斯汀,1973年,第1-9页。 谷歌学者 27 WRATHALL,C.完备集与多项式时间层次。 理论。 计算。 ScL 3(1977),23-34。 谷歌学者