×
作者ID: 厨师.stephen-a“库克,斯蒂芬·亚瑟”最近发表的zbMATH文章
发布日期: 斯蒂芬·库克。;斯蒂芬·库克;S.A.库克。;库克,S。
主页: http://www.cs.toronto.edu/~萨库克/
外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考
奖品: 图灵奖(1982)
已编制索引的文档: 98出版物自1966年起,包括2本书
1作为编辑的贡献·3进一步捐款
合著者: 55位合著者具有67份联合出版物
1529名合著者
全部的 前5名

合著者

29 单作者的
6 艾伦·B·博罗丁。
5 皮埃尔·麦肯齐
5 托尼安·皮塔西
4 保罗·比姆。
4 马克·布拉夫曼
4 Robert A.Reckhow。
帕特里克·戴蒙德(Patrick W.Dymond)。
杰夫·埃德蒙兹(Jeff A.Edmonds)。
Fontes,莉拉
H.James胡佛
罗素·英帕利亚佐
布鲁斯·卡普伦。
莱塞,戴特里曼
拉胡尔·桑塔纳姆
达斯汀·韦尔
2 圣奥拉夫阿安德拉
2 克劳斯·埃利格
2 川村,秋田
2 Derek C.奥本。
2 尼古拉斯·皮彭格。
2 拉维·塞提
2 迈克尔·索尔提斯
2 马丁·汤帕
2 伊多·扎梅雷特
2 阿拉斯代尔·厄克哈特
1 阿尼尔·艾达
1 潘卡杰·库马尔·阿加瓦尔
1 达纳州安格鲁因
1 斯蒂芬·贝兰托尼。
1 Bloniarz,Peter A。
1 恩里科·波比里
1 理查德·皮尔斯布伦特
1 Donna J·布朗。
1 Samuel R.巴斯。
1 大卫·A·卡尔森。
1 詹姆斯·卡尔森(James A.Carlson)。
1 阿尔卡德夫查托帕迪亚伊
1 伯纳德·夏泽尔
1 Cypher,A。
1 皮埃尔·迪林
1 理查德·艾伦·德米洛
1 戴维·多布金(David P.Dobkin)。
1 辛西娅·德沃克
1 哈特穆特·埃里格
1 罗纳德·费金
1 查尔斯·路易斯·费弗曼
1 尤瓦尔·菲莫斯
1 费洛蒂,I.S。
1 迈克尔·菲舍尔。
1 格雷格·弗雷德里克森。
1 卡维·加塞姆卢
1 杰里米·格雷
1 列奥尼达斯·约翰·吉巴斯
1 古普塔,阿文德·库马尔
1 阿明·哈肯
1 乔斯·海因茨
1 克里斯托夫·霍夫曼。
1 洪嘉伟
1 奥斯卡·H·伊巴拉。
1 亚瑟·迈克尔·杰菲
1 Ja'Ja',Joseph F。
1 唐纳德·约翰逊。
1 黛博拉·约瑟夫
1 拉文德兰坎南
1 理查德·曼宁·卡普
1 安东尼娜·科洛科洛娃
1 米查尔·库克
1 简·克拉契克
1 孔,H.T。
1 Brian S.Leininger。
1 大卫·利希滕斯坦
1 理查德·杰·利普顿
1 刘永梅
1 埃罗尔·劳埃德。
1 南希·安·林奇
1 伯恩德·马赫
1 杰克·梅耶(Jack N.Mayer)。
1 文卡提什·梅达巴利米
1 库尔特·梅尔霍恩
1 艾伯特·罗纳德·梅耶
1 米勒,加里·李
1 雷蒙德·米勒(Raymond E.Miller)。
1 约翰·威拉德·米尔诺
1 格拉兹纳·米尔考斯卡
1 大卫·G·M·米切尔(David G.M.Mitchell)。
1 津桥森冈
1 马克·奥弗马斯(Mark H.Overmars)。
1 Jan K·帕希尔。
1 罗希特·帕里赫
1 迈克·帕特森。
1 沃尔夫冈·雅各布·保罗
1 大卫·艾伦(David Alan),Plaisted
1 Pratt,Vaughan R。
1 Pressman,Irwin S。
1 帕维尔·普德拉克
1 查尔斯·莱科夫。
1 维贾亚·拉马钱德兰
1 约翰·赖夫(John H.Reif)。
1 爱德华·马丁·莱因戈尔德
1 吕迪格·赖舒克
……还有27位合著者

按年份列出的出版物

zbMATH Open中包含的引文

88出版物有被引用2660次中的次2129文件 引用人 年份
理论证明程序的复杂性。 Zbl 0253.68020号
斯蒂芬·库克。
446
1971
命题证明系统的相对效率。 Zbl 0408.03044号
斯蒂芬·库克。;Robert A.Reckhow。
249
1979
快速并行算法问题分类。 兹比尔0575.68045
斯蒂芬·库克。
193
1985
理论证明程序的复杂性。 Zbl 0363.68125号
S.A.库克。
130
1975
多时间函数的一种新的递归理论表征。 Zbl 0766.68037号
斯蒂芬·贝兰托尼;斯蒂芬·库克
129
1992
用有时间限制的计算机描述下推机器的特性。 Zbl 0222.02035号
斯蒂芬·库克。
123
1971
程序验证公理系统的健全性和完整性。 Zbl 0374.68009号
斯蒂芬·库克。
113
1978
没有同时写入的并行随机访问机器的上下限。 Zbl 0591.68049号
斯蒂芬·库克;辛西娅,德沃克;吕迪格·赖舒克
87
1986
有时间限制的随机存取机器。 Zbl 0284.68038号
斯蒂芬·库克。;Robert A.Reckhow。
70
1973
记录深度回路的划分和相关问题。 Zbl 0619.68047号
保罗·比姆。;斯蒂芬·库克。;H.James胡佛
60
1986
对时间存储权衡的观察。 Zbl 0306.68026号
斯蒂芬·库克。
58
1974
可行的构造性证明和命题演算。 Zbl 0357.68061号
斯蒂芬·库克。
54
1975
证明复杂性的逻辑基础。 兹比尔1206.03051
斯蒂芬·库克;阮富城
52
2010
关于命题演算中证明的长度。初步版本。 Zbl 0375.0204号
斯蒂芬·库克;罗伯特·雷克霍
48
1974
确定性对数空间的问题已完成。 Zbl 0644.68058号
斯蒂芬·库克。;皮埃尔·麦肯齐
45
1987
可行性构造算法的函数解释。 Zbl 0780.03026号
斯蒂芬·库克;阿拉斯代尔·厄克哈特
43
1993
在一般的顺序计算模型上进行排序的时空权衡。 Zbl 0478.68061号
博罗丁,A。;库克,S。
43
1982
赋能环和空间有界概率机的并行计算。 Zbl 0598.68043号
博罗丁,A。;库克,S。;皮彭格,N。
42
1983
寻找可满足性问题的困难实例:一项调查。 Zbl 0889.68073号
斯蒂芬·库克。;大卫·G·米切尔。
37
1997
实域上的计算:科学计算的基础。 Zbl 1092.68038号
马克·布拉夫曼;斯蒂芬·库克
36
2006
NP搜索问题的相对复杂性。 Zbl 0920.68051号
比姆,保罗;斯蒂芬·库克;杰夫·埃德蒙兹;罗素·英帕利亚佐;托尼安·皮塔西
34
1998
受限机器上迷宫线程化的空间下限。 Zbl 0445.68038号
斯蒂芬·库克。;查尔斯·莱科夫。
34
1980
非确定性时间复杂性的层次结构。 Zbl 0278.68042号
斯蒂芬·库克。
34
1973
归纳计数在互补问题中的两个应用。 Zbl 0678.68031号
艾伦·博罗丁;斯蒂芬·库克。;帕特里克·戴蒙德(Patrick W.Dymond)。;沃尔特·鲁佐。;马丁·汤帕
33
1989
公式计算的最佳并行算法。 Zbl 0825.68424号
巴斯,S。;库克,S。;阿文德·古普塔;拉马钱德兰,V。
29
1992
千年奖问题。 Zbl 1155.00001号
28
2006
2型可行性的新特征。 Zbl 0843.68028号
卡普伦,B.M。;S.A.库克。
25
1996
同步并行计算的复杂性理论。 Zbl 0473.68041号
斯蒂芬·库克。
24
1981
分析中运算符的复杂性理论。 兹比尔1322.68083
川村,秋田;斯蒂芬·库克
20
2012
关于函数的最小计算时间。 Zbl 0188.33402号
S.A.库克。;圣奥州阿安德拉。
17
1969
(\mathrm{NP}\subseteq\mathrm{P/poly}\)可证明性的结果。 Zbl 1133.03035号
斯蒂芬·库克;简·克拉契克
15
2007
短命题公式表示不确定性计算。 Zbl 0633.68034号
斯蒂芬·库克。
15
1988
更高类型函数的可计算性和复杂性。 兹伯利0757.03021
斯蒂芬·库克。
15
1992
确定性多项式时间可识别语言的存储要求。 Zbl 0337.68031号
斯蒂芬·库克;拉维·塞提
14
1976
关于计算特定多项式的加法数。 Zbl 0341.65034号
艾伦·博罗丁;斯蒂芬·库克
14
1976
有限型基本可行泛函的刻画。 Zbl 0788.03068号
斯蒂芬·库克。;布鲁斯·卡普伦。
14
1990
证明复杂性的逻辑基础。2010年精装版再版。 Zbl 1284.03001号
斯蒂芬·库克;阮富城
14
2014
P与NP问题。 Zbl 1194.68001号
斯蒂芬·库克
13
2006
NP搜索问题的相对复杂性。 Zbl 0978.68526号
保罗·比姆;斯蒂芬·库克;杰夫·埃德蒙兹;罗素·英帕利亚佐;托尼安·皮塔西
12
1995
一条深度覆盖的电路。 Zbl 0573.94015号
斯蒂芬·库克。;H.James胡佛
12
1985
确定性双向下推自动机的线性时间模拟。 兹比尔0255.68015
斯蒂芬·库克。
10
1972
对时间存储权衡的观察。 Zbl 0305.68066号
斯蒂芬·库克。
10
1973
量化命题演算与NC(^{text\textbf{1}})的二阶理论。 Zbl 1090.03029号
斯蒂芬·库克;津桥森冈
10
2005
计算复杂性概述。 Zbl 0622.68039号
斯蒂芬·库克。
10
1983
有时限的随机存取机器。 Zbl 0357.68055号
斯蒂芬·库克。;Robert A.Reckhow。
9
1972
TC(^0)和其他小复杂度类的理论。 Zbl 1126.68048号
阮富城;斯蒂芬·库克
9
2006
线性代数的证明复杂性。 Zbl 1059.03064号
迈克尔·索尔提斯;斯蒂芬·库克
9
2004
单调实电路大小的指数下界。 Zbl 0922.68065号
阿明·哈肯;斯蒂芬·库克。
8
1999
交换置换群问题的并行复杂性。 兹比尔0647.68045
皮埃尔·麦肯齐;斯蒂芬·库克。
8
1987
复杂性类理论及其命题翻译。 Zbl 1084.03044号
斯蒂芬·库克
8
2004
分析中运算符的复杂性理论。 Zbl 1293.68134号
川村,秋田;斯蒂芬·库克
8
2010
并行时间和硬件的复杂性理论。 Zbl 0666.68045号
帕特里克·戴蒙德(Patrick W.Dymond)。;斯蒂芬·库克。
7
1989
弱运算中替换的强度。 Zbl 1407.03075号
斯蒂芬·库克;尼尔·萨彭
7
2006
具有快速并行算法的问题的分类。 Zbl 0529.68014号
斯蒂芬·库克。
7
1983
隐私的艰难。 兹比尔1321.94032
阿尼尔·艾达;阿尔卡德夫查托帕迪亚伊;斯蒂芬·库克。;Fontes,莉拉;米查尔·库克;托尼安·皮塔西
6
2014
“程序验证公理系统的健全性和完整性”的勘误表。 Zbl 0466.68015号
斯蒂芬·库克。
6
1981
类属预言与第二类复杂性理论之间的紧密关系。 Zbl 0881.68051号
斯蒂芬·库克;罗素·英帕利亚佐;山崎富代
5
1997
可行性构造算法的函数解释。摘要。 Zbl 0776.03028号
斯蒂芬·库克;阿拉斯代尔·厄克哈特
5
1990
在小时间和小空间内识别确定性CFL。 兹伯利0535.68023
冯·布劳恩穆尔(von Braunmühl,Burchard);斯蒂芬·库克;库尔特·梅尔霍恩;罗格斯·韦贝克
5
1983
记录深度回路的划分和相关问题。 Zbl 0797.68074号
保罗·比姆。;斯蒂芬·库克。;H.James胡佛
4
1986
将(mathbf P)的可证明坍塌与(mathbfNmathbfC^1)和逻辑理论的力量联系起来。 Zbl 0892.03024号
斯蒂芬·库克
4
1998
确定性多项式时间可识别语言的存储要求。 Zbl 0412.68078号
斯蒂芬·库克;拉维·塞提
4
1974
单正规系统可导性问题的可解性。 Zbl 0207.31204号
S.A.库克。
4
1966
布尔程序和量化命题证明系统。 Zbl 0951.03052号
斯蒂芬·库克;迈克尔·索尔提斯
4
1999
将小型复杂类及其理论进行比较。 Zbl 1179.68059号
克劳斯·埃利格;斯蒂芬·库克;阮富城
2007
平行指针机器。 Zbl 0781.68052号
斯蒂芬·库克。;帕特里克·戴蒙德。
1993
非确定性时间复杂性的层次结构。 Zbl 0361.68074号
斯蒂芬·库克。
1972
方块世界的完整公理化。 Zbl 1046.68101号
斯蒂芬·库克。;刘永梅
2003
比较器电路值问题的复杂性。 Zbl 1347.68156号
斯蒂芬·库克。;尤瓦尔·菲莫斯;莱塞,戴特里曼
2014
非确定性语义只读分支程序的下限。 Zbl 1388.68028号
斯蒂芬·库克;杰夫·埃德蒙兹;文卡特什Medabalimi;托尼安·皮塔西
2016
高等类型函数的计算复杂性。 Zbl 0749.03031号
斯蒂芬·库克。
1991
下推式机器的变化(详细摘要)。 Zbl 1282.68103号
斯蒂芬·库克。
1969
数据结构的断言语言。 Zbl 0382.68017号
斯蒂芬·库克。;Derek C.奥本。
2
1975
用有时间限制的计算机描述下推机器的特性。 Zbl 0289.02021号
S.A.库克。
2
1974
一种基于Grädel定理的二阶多面体推理系统。 Zbl 1036.03042号
斯蒂芬·库克;安东尼娜·科洛科洛娃
2
2003
使用READ-ON-WRITE-ALL策略的网络中副本的最佳位置。 Zbl 1448.68040号
斯蒂芬·库克。;简·帕希尔;Pressman,Irwin S。
2
2002
关于函数的最小计算时间。 Zbl 0231.02047号
S.A.库克。;圣奥州阿安德拉。
2
1971
解析证明的可行构造下限。 Zbl 0702.68065号
斯蒂芬·库克;托尼安·皮塔西
2
1990
同步并行计算的复杂性理论。 Zbl 0484.68036号
斯蒂芬·库克。
2
1982
证明有关操作数据结构的程序的断言。 兹比尔0359.68011
Derek C.奥本。;斯蒂芬·库克。
1
1975
行列式恒等式的统一、积分和有效证明。 Zbl 1453.03064号
伊多·扎梅雷特;斯蒂芬·库克。
1
2017
线性代数的形式理论。 Zbl 1238.03020号
斯蒂芬·库克;Fontes,莉拉
1
2012
将小型复杂类及其理论进行比较。 Zbl 1336.68084号
克劳斯·埃利格;斯蒂芬·库克;阮富城
1
2016
树木评估的鹅卵石和树枝程序。 兹比尔1322.68059
斯蒂芬·库克;皮埃尔·麦肯齐;达斯汀·韦尔;马克·布拉夫曼;拉胡尔·桑塔纳姆
1
2012
P与NP问题的重要性。 Zbl 1326.68140号
斯蒂芬·库克
1
2003
用于树评估的分支程序。 Zbl 1250.68106号
马克·布拉夫曼;斯蒂芬·库克;皮埃尔·麦肯齐;拉胡尔·桑塔纳姆;Wehr,达斯汀
1
2009
与稳定婚姻问题相关的复杂性类的正式理论。 Zbl 1247.68095号
莱塞,戴特里曼;斯蒂芬·库克。;叶玉莉
1
2011
线性代数的形式理论。 Zbl 1238.03019号
斯蒂芬·库克;Fontes,莉拉
1
2010
行列式恒等式的统一、积分和有效证明。 Zbl 1453.03064号
伊多·扎梅雷特;斯蒂芬·库克。
1
2017
非确定性语义只读分支程序的下限。 Zbl 1388.68028号
斯蒂芬·库克;杰夫·埃德蒙兹;文卡提什·梅达巴利米;托尼安·皮塔西
2016
相对化小的复杂性类及其理论。 Zbl 1336.68084号
克劳斯·埃利格;斯蒂芬·库克;阮富城
1
2016
证明复杂性的逻辑基础。2010年精装版再版。 Zbl 1284.03001号
斯蒂芬·库克;阮富城
14
2014
隐私的艰难。 Zbl 1321.94032号
阿尼尔·艾达;阿尔卡德夫查托帕迪亚伊;斯蒂芬·库克。;Fontes,莉拉;米查尔·库克;托尼安·皮塔西
6
2014
比较器电路值问题的复杂性。 Zbl 1347.68156号
斯蒂芬·库克。;尤瓦尔·菲莫斯;莱塞,戴特里曼
2014
分析中运算符的复杂性理论。 Zbl 1322.68083号
川村,秋田;斯蒂芬·库克
20
2012
线性代数的形式理论。 Zbl 1238.03020号
斯蒂芬·库克;Fontes,莉拉
1
2012
用于树评估的Pebbles和分支程序。 Zbl 1322.68059号
斯蒂芬·库克;皮埃尔·麦肯齐;达斯汀·韦尔;马克·布拉夫曼;拉胡尔·桑塔纳姆
1
2012
与稳定婚姻问题相关的复杂性类的正式理论。 Zbl 1247.68095号
莱塞,戴特里曼;斯蒂芬·库克。;叶玉莉
1
2011
证明复杂性的逻辑基础。 Zbl 1206.03051号
斯蒂芬·库克;阮富城
52
2010
分析中运算符的复杂性理论。 Zbl 1293.68134号
川村,秋田;斯蒂芬·库克
8
2010
线性代数的形式理论。 兹比尔1238.03019
斯蒂芬·库克;Fontes,莉拉
1
2010
用于树评估的分支程序。 Zbl 1250.68106号
马克·布拉夫曼;斯蒂芬·库克;皮埃尔·麦肯齐;拉胡尔·桑塔纳姆;达斯汀·韦尔
1
2009
(\mathrm{NP}\subseteq\mathrm{P/poly}\)可证明性的结果。 Zbl 1133.03035号
斯蒂芬·库克;简·克拉契克
15
2007
相对化小的复杂性类及其理论。 Zbl 1179.68059号
克劳斯·埃利格;斯蒂芬·库克;阮富城
2007
实域上的计算:科学计算的基础。 Zbl 1092.68038号
马克·布拉夫曼;斯蒂芬·库克
36
2006
千年奖问题。 Zbl 1155.00001号
28
2006
P与NP问题。 Zbl 1194.68001号
斯蒂芬·库克
13
2006
TC(^0)和其他小型复杂类的理论。 兹比尔1126.68048
阮富城;斯蒂芬·库克
9
2006
弱运算中替换的强度。 Zbl 1407.03075号
斯蒂芬·库克;尼尔·萨彭
7
2006
量化命题演算与NC(^{text\textbf{1}})的二阶理论。 Zbl 1090.03029号
斯蒂芬·库克;津桥森冈
10
2005
线性代数的证明复杂性。 Zbl 1059.03064号
迈克尔·索尔提斯;斯蒂芬·库克
9
2004
复杂性类理论及其命题翻译。 兹比尔1084.03044
斯蒂芬·库克
8
2004
Blocks World的完全公理化。 Zbl 1046.68101号
斯蒂芬·库克。;刘永梅
2003
基于Grädel定理的二阶多时间推理系统。 Zbl 1036.03042号
斯蒂芬·库克;安东尼娜·科洛科洛娃
2
2003
P与NP问题的重要性。 Zbl 1326.68140号
斯蒂芬·库克
1
2003
使用READ-ON-WRITE-ALL策略的网络中副本的最佳位置。 Zbl 1448.68040号
斯蒂芬·库克。;简·帕希尔;Pressman,Irwin S。
2
2002
单调实电路大小的指数下界。 Zbl 0922.68065号
阿明·哈肯;斯蒂芬·库克。
8
1999
布尔程序和量化命题证明系统。 Zbl 0951.03052号
斯蒂芬·库克;迈克尔·索尔提斯
4
1999
NP搜索问题的相对复杂性。 Zbl 0920.68051号
保罗·比姆;斯蒂芬·库克;杰夫·埃德蒙兹;罗素·英帕利亚佐;托尼安·皮塔西
34
1998
将(mathbf P)的可证明坍塌与(mathbfNmathbfC^1)和逻辑理论的力量联系起来。 Zbl 0892.03024号
斯蒂芬·库克
4
1998
寻找可满足性问题的困难实例:一项调查。 Zbl 0889.68073号
斯蒂芬·库克。;大卫·G·米切尔。
37
1997
类属预言与第二类复杂性理论之间的紧密关系。 Zbl 0881.68051号
斯蒂芬·库克;罗素·英帕利亚佐;山崎富代
5
1997
2型可行性的新特征。 Zbl 0843.68028号
卡普伦,B.M。;S.A.库克。
25
1996
NP搜索问题的相对复杂性。 Zbl 0978.68526号
比姆,保罗;斯蒂芬·库克;杰夫·埃德蒙兹;罗素·英帕利亚佐;托尼安·皮塔西
12
1995
可行性构造算法的函数解释。 Zbl 0780.03026号
斯蒂芬·库克;阿拉斯代尔·厄克哈特
43
1993
平行指针机器。 Zbl 0781.68052号
斯蒂芬·库克。;帕特里克·戴蒙德(Patrick W.Dymond)。
1993
多时间函数的一种新的递归理论表征。 Zbl 0766.68037号
斯蒂芬·贝兰托尼;斯蒂芬·库克
129
1992
公式计算的最佳并行算法。 兹比尔0825.68424
巴斯,S。;库克,S。;阿文德·古普塔;拉马钱德兰,V。
29
1992
更高类型函数的可计算性和复杂性。 Zbl 0757.03021号
斯蒂芬·库克。
15
1992
高等类型函数的计算复杂性。 Zbl 0749.03031号
斯蒂芬·库克。
1991
有限型基本可行泛函的刻画。 Zbl 0788.03068号
斯蒂芬·库克。;布鲁斯·卡普伦。
14
1990
可行构造算术的函数解释。摘要。 Zbl 0776.03028号
斯蒂芬·库克;阿拉斯代尔·厄克哈特
5
1990
解析证明的可行构造下限。 Zbl 0702.68065号
斯蒂芬·库克;托尼安·皮塔西
2
1990
归纳计数在互补问题中的两个应用。 Zbl 0678.68031号
艾伦·博罗丁;斯蒂芬·库克。;帕特里克·戴蒙德(Patrick W.Dymond)。;沃尔特·卢佐。;马丁·汤帕
33
1989
并行时间和硬件的复杂性理论。 兹伯利0666.68045
帕特里克·戴蒙德(Patrick W.Dymond)。;斯蒂芬·库克。
7
1989
简短的命题公式表示不确定性计算。 Zbl 0633.68034号
斯蒂芬·库克。
15
1988
确定性对数空间的问题已完成。 Zbl 0644.68058号
斯蒂芬·库克。;皮埃尔·麦肯齐
45
1987
交换置换群问题的并行复杂性。 Zbl 0647.68045号
皮埃尔·麦肯齐;斯蒂芬·库克。
8
1987
没有同时写入的并行随机访问机器的上下限。 Zbl 0591.68049号
斯蒂芬·库克;辛西娅·德沃克;吕迪格·赖舒克
87
1986
记录深度回路的划分和相关问题。 Zbl 0619.68047号
保罗·W·比姆。;斯蒂芬·库克。;H.James胡佛
60
1986
记录深度回路的划分和相关问题。 Zbl 0797.68074号
保罗·比姆。;斯蒂芬·库克。;H.James胡佛
4
1986
快速并行算法问题分类。 Zbl 0575.68045号
斯蒂芬·库克。
193
1985
一条深度覆盖的电路。 Zbl 0573.94015号
斯蒂芬·库克。;H.James胡佛
12
1985
赋能环和空间有界概率机的并行计算。 Zbl 0598.68043号
博罗丁,A。;库克,S。;皮彭格,N。
42
1983
计算复杂性概述。 Zbl 0622.68039号
斯蒂芬·库克。
10
1983
具有快速并行算法的问题的分类。 Zbl 0529.68014号
斯蒂芬·库克。
7
1983
在小时间和小空间内识别确定性CFL。 Zbl 0535.68023号
冯·布劳恩穆尔(von Braunmühl,Burchard);斯蒂芬·库克;库尔特·梅尔霍恩;罗格斯·韦贝克
5
1983
在一般的顺序计算模型上进行排序的时空权衡。 Zbl 0478.68061号
鲍罗丁,A。;库克,S。
43
1982
同步并行计算的复杂性理论。 Zbl 0484.68036号
斯蒂芬·库克。
2
1982
同步并行计算的复杂性理论。 Zbl 0473.68041号
斯蒂芬·库克。
24
1981
“程序验证公理系统的健全性和完整性”的勘误表。 Zbl 0466.68015号
斯蒂芬·库克。
6
1981
受限机器上迷宫线程化的空间下限。 Zbl 0445.68038号
斯蒂芬·库克。;查尔斯·莱科夫。
34
1980
命题证明系统的相对效率。 Zbl 0408.03044号
斯蒂芬·库克。;Robert A.Reckhow。
249
1979
程序验证公理系统的健全性和完整性。 Zbl 0374.68009号
斯蒂芬·库克。
113
1978
确定性多项式时间可识别语言的存储要求。 Zbl 0337.68031号
斯蒂芬·库克;拉维·塞提
14
1976
关于计算特定多项式的加法数。 Zbl 0341.65034号
艾伦·博罗丁;斯蒂芬·库克
14
1976
理论证明程序的复杂性。 Zbl 0363.68125号
S.A.库克。
130
1975
可行的构造性证明和命题演算。 Zbl 0357.68061号
斯蒂芬·库克。
54
1975
数据结构的断言语言。 Zbl 0382.68017号
斯蒂芬·库克。;Derek C.奥本。
2
1975
证明有关操作数据结构的程序的断言。 Zbl 0359.68011号
Derek C.奥本。;斯蒂芬·库克。
1
1975
对时间存储权衡的观察。 Zbl 0306.68026号
斯蒂芬·库克。
58
1974
关于命题演算中证明的长度。初步版本。 Zbl 0375.0204号
斯蒂芬·库克;罗伯特·雷克霍
48
1974
确定性多项式时间可识别语言的存储要求。 Zbl 0412.68078号
斯蒂芬·库克;拉维·塞提
4
1974
用有时间限制的计算机描述下推机器的特性。 兹比尔0289.02021
S.A.库克。
2
1974
有时间限制的随机存取机器。 Zbl 0284.68038号
斯蒂芬·库克。;Robert A.Reckhow。
70
1973
非确定性时间复杂性的层次结构。 Zbl 0278.68042号
斯蒂芬·库克。
34
1973
对时间存储权衡的观察。 Zbl 0305.68066号
斯蒂芬·库克。
10
1973
确定性双向下推自动机的线性时间模拟。 Zbl 0255.68015号
斯蒂芬·库克。
10
1972
有时限的随机存取机器。 兹比尔0357.68055
斯蒂芬·库克。;Robert A.Reckhow。
9
1972
非确定性时间复杂性的层次结构。 Zbl 0361.68074号
斯蒂芬·库克。
1972
理论证明程序的复杂性。 Zbl 0253.68020号
斯蒂芬·库克。
446
1971
用有时间限制的计算机描述下推机器的特性。 Zbl 0222.02035号
斯蒂芬·库克。
123
1971
关于函数的最小计算时间。 Zbl 0231.02047号
S.A.库克。;圣奥州阿安德拉。
2
1971
关于函数的最小计算时间。 兹比尔0188.33402
S.A.库克。;圣奥州阿安德拉。
17
1969
下推式机器的变化(详细摘要)。 Zbl 1282.68103号
斯蒂芬·库克。
1969
单正规系统可导性问题的可解性。 Zbl 0207.31204号
S.A.库克。
4
1966
全部的 前5名

2712位作者引用

33 奥拉夫·拜尔斯多夫
30 Samuel R.巴斯。
24 简·克拉契克
19 埃里克·艾伦德。
17 斯蒂芬·阿瑟·库克
16 托尼安·皮塔西
15 乌戈·达尔拉戈
15 奥斯卡·H·伊巴拉。
15 皮埃尔·麦肯齐
14 埃米尔·杰瓦贝克
14 帕维尔·普德拉克
12 Jan A.Bergstra。
12 米纳·马哈扬
11 克劳斯·约恩·兰格
11 尼尔·萨彭
10 莫里茨·米勒
10 马丁·齐格勒
9 尼古拉·加莱西
9 马丁·霍夫曼
9 Huynh,Dung T。
9 马雷克·卡宾斯基
9 约翰·科布勒
9 马西莫·劳里亚
9 Jean-Yves玛丽恩
9 罗曼·佩乔
9 伊恩·斯图尔特(Iain A.Stewart)。
9 赫里贝特·沃尔默
8 保罗·比姆。
8 乔舒亚·布林霍恩
8 恩德雷·博罗斯
8 达斯,阿努帕姆
8 伊曼纽尔·海因里
8 Dmitry M.Itsykson。
8 比吉特·詹纳
8 努坦利马耶
8 杰克·H·卢茨。
8 Mix Barrington,David A。
8 雅各布·诺德斯特伦
8 Christos Harilaos的Papadimitriou
8 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫
8 弗洛里安·斯坦伯格
8 卢茨斯特拉汉堡
8 伊多·扎梅雷特
7 阿尔伯特·阿塞里亚斯
7 帕特里克·贝洛特
7 玛丽亚·路易莎
7 书,罗纳德·弗农
7 艾伦·B·博罗丁。
7 勒罗伊·周
7 兰斯·福特诺(Lance J.Fortnow)。
7 马西米利亚诺·戈德伍姆
7 爱德华·赫施。
7 罗素·英帕利亚佐
7 尼尔·D·琼斯。
7 丹尼尔·莱万特(Daniel M.Leivant)。
7 Joáo P.塞尔瓦侯爵。
7 卡尔·海因茨·奈格尔
7 伊莎贝尔·奥塔维姆
7 文卡特斯·拉曼
7 迈克尔·索尔提斯
7 丹尼斯·塞里安
7 马丁·汤帕
7 约翰·V·塔克。
7 山崎富代
6 斯蒂芬·贝兰托尼。
6 阿尔贝托·贝托尼
6 哈里·布尔曼
6 彼得·克洛特(Peter G.Clote)。
6 帕特里克·戴蒙德(Patrick W.Dymond)。
6 约斯特·恩格尔弗里特
6 费希·埃伦
6 傅斌
6 安娜·加尔
6 保罗·戈德伯格(Paul W.Goldberg)。
6 马库斯·霍尔泽
6 汉斯·克莱恩·勃宁
6 安德烈亚斯·克雷布斯
6 库蒂·奥斯基(Kutyłowski)、米洛斯·aw
6 埃尔维拉·马约多莫
6 阿恩·迈尔
6 博克哈德·莫尼恩
6 沃尔特·鲁佐。
6 拉胡尔·桑塔纳姆
6 Sarma M.N.,贾亚拉尔
6 艾伦·路易斯·塞尔曼
6 伊万·哈尔·苏德伯勒
6 斯泽德,斯特凡
6 雅各布·托兰
6 阿拉斯代尔·厄克哈特
5 Krzysztof Rafal公寓
5 马丁·阿文齐尼
5 奥利维尔·伯内兹
5 马克·布拉夫曼
5 陈林
5 伊莱亚斯·达尔豪斯
5 该死,卡斯滕
5 萨米尔·达塔
5 剂量,提图斯
5 克里斯蒂安·格拉(Christian Glaßer)
5 米卡·哥尔斯
…还有2612位作者
全部的 前5名

236篇连载文章被引用

291 理论计算机科学
164 计算机与系统科学杂志
102 信息与计算
100 信息处理信件
66 纯逻辑与应用逻辑年鉴
54 离散应用数学
46 数学系统理论
41 计算系统理论
39 计算复杂性
37 人工智能
30 符号逻辑杂志
30 算法
30 数学逻辑档案
28 数学与人工智能年鉴
28 计算机科学中的逻辑方法
26 信息学报
26 SIAM计算机杂志
20 自动推理杂志
16 符号逻辑公报
14 ACM计算逻辑事务
13 符号计算杂志
13 国际计算机科学基础杂志
13 欧洲运筹学杂志
11 信息科学
11 MSCS公司。计算机科学中的数学结构
10 复杂性杂志
10 数学逻辑季刊(MLQ)
9 比特币
9 运营研究信件
9 组合数学
9 密码学杂志
9 RAIRO公司。Informatique Théorique et Applications公司
9 Prikladnaya Diskretnaya Matematika公司
8 RAIRO公司。理论信息学及其应用
7 苏联数学杂志
7 分布式计算
6 离散数学
6 计算
6 RAIRO,Informatique Théorique公司
6 逻辑研究
6 计算机科学与技术杂志
6 国际计算机数学杂志
6 数学科学杂志(纽约)
5 计算机与数学及其应用
5 数学规划
5 合成
5 离散和计算几何
5 计算的形式方面
5 运筹学年鉴
5 随机结构与算法
5 计算几何
5 运筹学国际交易
5 约束条件
5 组合优化期刊
5 计算理论
4 控制论
4 订单
4 国际并行程序设计杂志
4 国际代数与计算杂志
4 数学编程。A系列B系列
4 俄罗斯数学
4 美国医学会杂志
4 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学
4 逻辑程序设计理论与实践
4 量子信息处理
4 离散算法杂志
4 统计力学杂志:理论与实验
4 可满足性、布尔建模与计算杂志
4 埃里温州立大学学报。物理与数学科学
哲学逻辑杂志
SIAM代数和离散方法杂志
计算机与运筹学
国际近似推理杂志
数学和计算机建模
设计、代码和密码
逻辑、语言与信息杂志
人工智能研究杂志
自然计算
符号逻辑述评
统计与计算
理论生物学杂志
可计算性
程序设计中的逻辑和代数方法杂志
2 统计物理杂志
2 计算数学
2 混沌、孤子和分形
2 Automatica公司
2 卡尔科洛
2 纯粹与应用代数杂志
2 斯洛伐克数学
2 美国数学学会汇刊
2 莫斯科大学计算数学与控制论
2 计算机程序设计科学
2 美国数学学会杂志
2 SIAM离散数学杂志
2 MCSS公司。控制、信号和系统数学
2 应用概率年鉴
2 全球优化杂志
2 游戏与经济行为
2 自动化和远程控制
…还有136部连续剧
全部的 前5名

47个领域被引用

1,711 计算机科学(68至XX)
713 数学逻辑和基础(03-XX)
175 组合数学(05-XX)
133 信息与通信理论、电路(94-XX)
129 运筹学、数学规划(90-XX)
54 博弈论、经济学、金融和其他社会和行为科学(91-XX)
47 数值分析(65-XX)
35 量子理论(81-XX)
33 阶、格、有序代数结构(06-XX)
28 数论(11-XX)
27 群论与推广(20-XX)
21 线性代数和多线性代数;矩阵理论(15-XX)
16 生物学和其他自然科学(92-XX)
14 总体主题;集合(00-XX)
14 场论和多项式(12-XX)
11 范畴理论;同调代数(18-XX)
11 概率论与随机过程(60-XX)
9 交换代数(13-XX)
9 代数几何(14-XX)
9 动力系统和遍历理论(37至XX)
9 凸和离散几何(52至XX)
9 统计学(62-XX)
9 统计力学,物质结构(82-XX)
8 一般代数系统(08-XX)
8 系统论;控制(93至XX)
6 测量和集成(28-XX)
5 常微分方程(34-XX)
4 历史和传记(01-XX)
4 结合环与代数(16-XX)
4 复变量的函数(30年XX月)
流形和细胞复合体(57至XX)
2 实际功能(26年X月X日)
2 欧氏空间的调和分析(42至XX)
2 整体分析,流形分析(58至XX)
2 粒子和系统力学(70-XX)
2 相对论和引力理论(83至XX)
1 势能理论(31日至XX日)
1 几个复变量和分析空间(32-XX)
1 特殊功能(33至XX)
1 偏微分方程(35-XX)
1 变异微积分和最优控制;最优化(49至XX)
1 几何图形(51至XX)
1 微分几何(53至XX)
1 一般拓扑结构(54至XX)
1 代数拓扑(55-XX)
1 流体力学(76-XX)
1 数学教育(97-XX)

按年份列出的引文

数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.