papers
Publications (8)
cs.CC2012
Relativized Propositional Calculus
Stephen Cook
cs.CC2006
Comments on Beckmann's Uniform Reducts
Stephen Cook
cs.CC2005
Computing over the Reals: Foundations for Scientific Computing
Mark Braverman, Stephen Cook
cs.LO2006
Theories for TC0 and Other Small Complexity Classes
Phuong Nguyen, Stephen Cook
cs.LO2010
The Complexity of Proving the Discrete Jordan Curve Theorem
Phuong Nguyen, Stephen Cook
cs.CC2010
Pebbles and Branching Programs for Tree Evaluation
Stephen Cook, Pierre McKenzie, Dustin Wehr +2
cs.CC2012
Relativizing Small Complexity Classes and their Theories
Klaus Aehlig, Stephen Cook, Phuong Nguyen
cs.LO2004
The strength of replacement in weak arithmetic
Stephen Cook, Neil Thapen