
Search the dblp DataBase
Stephen Cook:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Stephen Cook, Cynthia Dwork
Bounds on the Time for Parallel RAM's to Compute Simple Functions [Citation Graph (0, 0)][DBLP] STOC, 1982, pp:231233 [Conf]
 Stephen Cook, Ravi Sethi
Storage Requirements for Deterministic Polynomial Time Recognizable Languages [Citation Graph (0, 0)][DBLP] STOC, 1974, pp:3339 [Conf]
 Stephen Cook, Tsuyoshi Morioka
Quantified propositional calculus and a secondorder theory for NC^{1}. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2005, v:44, n:6, pp:711749 [Journal]
 Valentine Kabanets, Charles Rackoff, Stephen Cook
Efficiently Approximable RealValued Functions [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2000, v:7, n:34, pp: [Journal]
 Burchard von Braunmühl, Stephen Cook, Kurt Mehlhorn, Rutger Verbeek
The Recognition of Deterministic CFL's in Small Time and Space [Citation Graph (0, 0)][DBLP] Information and Control, 1983, v:56, n:1/2, pp:3451 [Journal]
 Stephen Cook, Cynthia Dwork, Rüdiger Reischuk
Upper and Lower Time Bounds for Parallel Random Access Machines without Simultaneous Writes. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1986, v:15, n:1, pp:8797 [Journal]
 Klaus Aehlig, Stephen Cook, Phuong Nguyen
Relativizing Small Complexity Classes and Their Theories. [Citation Graph (0, 0)][DBLP] CSL, 2007, pp:374388 [Conf]
 Stephen Cook
Comments on Beckmann's Uniform Reducts [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp: [Journal]
Formal Theories for Linear Algebra. [Citation Graph (, )][DBLP]
Complexity theory for operators in analysis. [Citation Graph (, )][DBLP]
Theories for TC0 and Other Small Complexity Classes [Citation Graph (, )][DBLP]
The Complexity of Proving the Discrete Jordan Curve Theorem [Citation Graph (, )][DBLP]
Search in 0.045secs, Finished in 0.046secs
