Theory of computation / Dexter C. Kozen.
Saved in:
Main Author: | Kozen, Dexter, 1951- |
---|---|
Format: | Book |
Language: | English |
Published: |
New York ; London :
Springer,
c2006.
|
Series: | Texts in computer science
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Computability theory / Rebecca Weber.
by: Weber, Rebecca, 1977-
Published: (2012) -
Computability : an introduction to recursive function theory / Nigel Cutland.
by: Cutland, Nigel
Published: (1980) -
Dynamic logic David Harel, Dexter Kozen, Jerzy Tiuryn.
by: Harel, David, 1950-
Published: (2000) -
Computability theory : an introduction to recursion theory / Herbert B. Enderton.
by: Enderton, Herbert B.
Published: (2011) -
Techniques of admissible recursion theory C.T. Chong.
by: Chong, C.-T (Chi-Tat), 1949-
Published: (1984)