An introduction to the general theory of algorithms
Michael Machtey, Paul Young.
New York : North-Holland, ©1978.
vii, 264 págs. ; 24 cm.
Serie: Theory of computation series
ISBN: 044400226X, 0444002278 (pbk.)
Capítulos
- 1. Models of computation
- 2. Reductions, coding of RAM programs, unsolvable problems
- 3. Basic recursive function theory
- 4. Applications to mathematical logic
- 5. General computational complexity theory
- 6. Exponentially and superexponentially difficult problems
- 7. Complete problems.