Welcome to IOU Digital Library

A comprehensive introduction to the mathematical foundations of computer science, covering automata theory, formal languages, computability, and computational complexity, with an emphasis on rigorous reasoning and clear exposition

no reviews

245: $a: Theory of Computation
245: $b:
082: $a:
100: $a: Dexter C. Kozen
650: $a: Computer science
250: $a:
440: $v:
250: $b: Springer-Verlag London Limited
250: $c: 2006
020: $a: 978-1-84628-297-3
300: $a: 400