Theory of computation / Dexter C. Kozen.
By: Kozen, Dexter.
Material type: TextSeries: Texts in computer science. Publisher: London : Springer, c2006Description: xiii, 418 p. ,E59.95 ill. ; 25 cm.ISBN: 9781846282973 (acid-free paper); 1846282977 (acid-free paper).Subject(s): Computational complexity | Computer science -- Mathematics | Recursion theoryDDC classification: 511.352 Online resources: Publisher descriptionItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Chennai Mathematical Institute | 511.352 KOZ (Browse shelf) | Available | 6222 | ||
Book | Chennai Mathematical Institute General Stacks | 511.352 KOZ (Browse shelf) | Checked out | 12/09/2023 | 3711 |
Total holds: 0
Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser
511.352 COP Computability : Turing, Gödel, Church, and beyond / | 511.352 FOR The golden ticket : P, NP, and the search for the impossible / | 511.352 JUK Boolean function complexity : advances and frontiers / | 511.352 KOZ Theory of computation / | 511.352 KOZ Automata and computability / | 511.352 KOZ Automata and computability / | 511.352 MOO The nature of computation / |
Includes bibliographical references (p. [391]-398) and index.