Stephen Cook
Identifiers
- name variant Stephen Cook 0.60 · backfill
Papers (9)
- Complexity Theory for Operators in Analysis cs.CC · 2013 · author #2
- Relativizing Small Complexity Classes and their Theories cs.CC · 2012 · author #2
- Relativized Propositional Calculus cs.CC · 2012 · author #1
- Pebbles and Branching Programs for Tree Evaluation cs.CC · 2010 · author #1
- The Complexity of Proving the Discrete Jordan Curve Theorem cs.LO · 2010 · author #2
- Comments on Beckmann's Uniform Reducts cs.CC · 2006 · author #1
- Computing over the Reals: Foundations for Scientific Computing cs.CC · 2005 · author #2
- Theories for TC0 and Other Small Complexity Classes cs.LO · 2005 · author #2
- The strength of replacement in weak arithmetic cs.LO · 2004 · author #1
Mentions
- 1305.0453 #2 · arxiv_oai · confidence 0.70 Stephen Cook
- 1305.0453 #2 · backfill · confidence 0.70 Stephen Cook
- 1204.5508 #2 · backfill · confidence 0.70 Stephen Cook
- 1203.2168 #1 · backfill · confidence 0.70 Stephen Cook
- 1005.2642 #1 · backfill · confidence 0.70 Stephen Cook
- 1002.2954 #2 · backfill · confidence 0.70 Stephen Cook
Frequent Coauthors
- Phuong Nguyen 3 shared papers
- Mark Braverman 2 shared papers
- Akitoshi Kawamura 1 shared papers
- Dustin Wehr 1 shared papers
- Klaus Aehlig 1 shared papers
- Neil Thapen 1 shared papers
- Pierre McKenzie 1 shared papers
- Rahul Santhanam 1 shared papers