Searching for authors named "Stephen Cook" – sorted by Relevance.
44 documents found, showing 1 through 10.
Next 10 →
-
Speech Recognition HOWTO
- …Speech Recognition HOWTO Stephen Cook scook@(email omitted); Revision History Revision v0.5 September…
- Add To MetaCart
-
The Importance of the P versus NP Question
- …The Importance of the P versus NP Question 1 Stephen Cook University of Toronto The P versus NP…
- Cited by 3 (0 self) – Add To MetaCart
-
The P versus NP problem
- …THE P VERSUS NP PROBLEM STEPHEN COOK 1. Statement of the Problem The P versus NP problem…
- Cited by 7 (0 self) – Add To MetaCart
-
Theories for Complexity Classes and their Propositional Translations
- …Theories for Complexity Classes and their Propositional Translations Stephen Cook April 17, 2004…
- Cited by 19 (5 self) – Add To MetaCart
-
unknown title
- … A second-order system for polytime reasoning based on Gr"adel's theorem Stephen Cook…
- Add To MetaCart
-
unknown title
- … A second-order system for polytime reasoning based on Gr"adel's theorem Stephen Cook…
- Add To MetaCart
-
Relating the Provable Collapse of P to NC¹ and the Power of Logical Theories
- … the Provable Collapse of P to NC 1 and the Power of Logical Theories Stephen Cook Abstract. We show…
- Add To MetaCart
-
Quantified Propositional Calculus and a Second-Order Theory for NC¹
- …Quantified Propositional Calculus and a Second-Order Theory for NC 1 Stephen Cook Tsuyoshi Morioka…
- Add To MetaCart
-
Comments and Corrections Appreciated
- … Formal Reasoning UsingLow-Complexity Concepts Lecture 1: Overview Stephen Cook Fall School…
- Add To MetaCart
-
An overview of computational complexity
- …An Overview of Computational Complexity STEPHEN A. COOK University of Toronto The 1982 Taring…
- Cited by 14 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
