A Recursive Introduction to the Theory of Computation /
The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Self-reference and other methods are intro...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
1994.
|
| Series: | Graduate texts in computer science.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
