↓ Skip to main content

Theory of Computation

Overview of attention for book
Cover of 'Theory of Computation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Complexity of Computations
  3. Altmetric Badge
    Chapter 2 Time and Space Complexity Classes and Savitch’s Theorem
  4. Altmetric Badge
    Chapter 3 Separation Results
  5. Altmetric Badge
    Chapter 4 The Immerman-Szelepcsényi Theorem
  6. Altmetric Badge
    Chapter 5 Logspace Computability
  7. Altmetric Badge
    Chapter 6 The Circuit Value Problem
  8. Altmetric Badge
    Chapter 7 The Knaster-Tarski Theorem
  9. Altmetric Badge
    Chapter 8 Alternation
  10. Altmetric Badge
    Chapter 9 Problems Complete for PSPACE
  11. Altmetric Badge
    Chapter 10 The Polynomial-Time Hierarchy
  12. Altmetric Badge
    Chapter 11 More on the Polynomial-Time Hierarchy
  13. Altmetric Badge
    Chapter 12 Parallel Complexity
  14. Altmetric Badge
    Chapter 13 Relation of NC to Time-Space Classes
  15. Altmetric Badge
    Chapter 14 Probabilistic Complexity
  16. Altmetric Badge
    Chapter 15 BPP $$ \subseteq $$ Σ 2 P ∩ Π 2 P
  17. Altmetric Badge
    Chapter 16 Chinese Remaindering
  18. Altmetric Badge
    Chapter 17 Complexity of Primality Testing
  19. Altmetric Badge
    Chapter 18 Berlekamp’s Algorithm
  20. Altmetric Badge
    Chapter 19 Interactive Proofs
  21. Altmetric Badge
    Chapter 20 PSPACE $$ \subseteq $$ IP
  22. Altmetric Badge
    Chapter 21 IP $$ \subseteq $$ PSPACE
  23. Altmetric Badge
    Chapter 22 Probabilistically Checkable Proofs
  24. Altmetric Badge
    Chapter 23 NP $$ \subseteq $$ PCP ( n 3 , 1)
  25. Altmetric Badge
    Chapter 24 More on PCP
  26. Altmetric Badge
    Chapter 25 A Crash Course in Logic
  27. Altmetric Badge
    Chapter 26 Complexity of Decidable Theories
  28. Altmetric Badge
    Chapter 27 Complexity of the Theory of Real Addition
  29. Altmetric Badge
    Chapter 28 Lower Bound for the Theory of Real Addition
  30. Altmetric Badge
    Chapter 29 Lower Bound for Integer Addition
  31. Altmetric Badge
    Chapter 30 Automata on Infinite Strings and S1S
  32. Altmetric Badge
    Chapter 31 Determinization of ω -Automata
  33. Altmetric Badge
    Chapter 32 Safra’s Construction
  34. Altmetric Badge
    Chapter 33 Relativized Complexity
  35. Altmetric Badge
    Chapter 34 Nonexistence of Sparse Complete Sets
  36. Altmetric Badge
    Chapter 35 Unique Satisfiability
  37. Altmetric Badge
    Chapter 36 Toda’s Theorem
  38. Altmetric Badge
    Chapter 37 Circuit Lower Bounds and Relativized PSPACE = PH
  39. Altmetric Badge
    Chapter 38 Lower Bounds for Constant Depth Circuits
  40. Altmetric Badge
    Chapter 39 The Switching Lemma
  41. Altmetric Badge
    Chapter 40 Tail Bounds
  42. Altmetric Badge
    Chapter 41 The Gap Theorem and Other Pathology
  43. Altmetric Badge
    Chapter 42 Partial Recursive Functions and Gödel Numberings
  44. Altmetric Badge
    Chapter 43 Applications of the Recursion Theorem
  45. Altmetric Badge
    Chapter 44 Abstract Complexity
  46. Altmetric Badge
    Chapter 45 The Arithmetic Hierarchy
  47. Altmetric Badge
    Chapter 46 Complete Problems in the Arithmetic Hierarchy
  48. Altmetric Badge
    Chapter 47 Post’s Problem
  49. Altmetric Badge
    Chapter 48 The Friedberg-Muchnik Theorem
  50. Altmetric Badge
    Chapter 49 The Analytic Hierarchy
  51. Altmetric Badge
    Chapter 50 Kleene’s Theorem
  52. Altmetric Badge
    Chapter 51 Fair Termination and Harel’s Theorem
  53. Altmetric Badge
    Chapter 52 Homework 1
  54. Altmetric Badge
    Chapter 53 Homework 2
  55. Altmetric Badge
    Chapter 54 Homework 3
  56. Altmetric Badge
    Chapter 55 Homework 4
  57. Altmetric Badge
    Chapter 56 Homework 5
  58. Altmetric Badge
    Chapter 57 Homework 6
  59. Altmetric Badge
    Chapter 58 Homework 7
  60. Altmetric Badge
    Chapter 59 Homework 8
  61. Altmetric Badge
    Chapter 60 Homework 9
  62. Altmetric Badge
    Chapter 61 Homework 10
  63. Altmetric Badge
    Chapter 62 Homework 11
  64. Altmetric Badge
    Chapter 63 Homework 12
  65. Altmetric Badge
    Chapter 64 Miscellaneous Exercises
  66. Altmetric Badge
    Chapter 65 Homework 1 Solutions
  67. Altmetric Badge
    Chapter 66 Homework 2 Solutions
  68. Altmetric Badge
    Chapter 67 Homework 3 Solutions
  69. Altmetric Badge
    Chapter 68 Homework 4 Solutions
  70. Altmetric Badge
    Chapter 69 Homework 5 Solutions
  71. Altmetric Badge
    Chapter 70 Homework 6 Solutions
  72. Altmetric Badge
    Chapter 71 Homework 7 Solutions
  73. Altmetric Badge
    Chapter 72 Homework 8 Solutions
  74. Altmetric Badge
    Chapter 73 Homework 9 Solutions
  75. Altmetric Badge
    Chapter 74 Homework 10 Solutions
  76. Altmetric Badge
    Chapter 75 Homework 11 Solutions
  77. Altmetric Badge
    Chapter 76 Homework 12 Solutions
  78. Altmetric Badge
    Chapter 77 Hints for Selected Miscellaneous Exercises
  79. Altmetric Badge
    Chapter 78 Solutions to Selected Miscellaneous Exercises
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

syllabi
7 institutions with syllabi
wikipedia
28 Wikipedia pages

Citations

dimensions_citation
20 Dimensions

Readers on

mendeley
29 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Theory of Computation
Published by
Springer London, September 2006
DOI 10.1007/1-84628-477-5
ISBNs
978-1-84628-477-9, 978-1-84628-297-3
Authors

Kozen, Dexter C.

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 29 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Spain 1 3%
Unknown 28 97%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 6 21%
Researcher 6 21%
Professor 3 10%
Student > Master 3 10%
Student > Bachelor 2 7%
Other 3 10%
Unknown 6 21%
Readers by discipline Count As %
Computer Science 16 55%
Mathematics 3 10%
Engineering 2 7%
Agricultural and Biological Sciences 1 3%
Physics and Astronomy 1 3%
Other 1 3%
Unknown 5 17%