| Tài liệu tham khảo |
Loại |
Chi tiết |
| [24] Odifreddi, P.: Classical Recursion Theory, Volume 1. Amsterdamã North-Holland 1990 |
Sách, tạp chí |
| Tiêu đề: |
Classical Recursion Theory, Volume |
|
| [25] Peter, ROzsa: Recursive Functions in Computer Theory. Chichester: Ellis-Horwood 1981.[26J Pour-EI, Marian B., and Richards, Jonathan I.: Computability in Anal-ysis and Physics. New York-Heidelberg-Berlin: Springer-Verlag 1988 |
Sách, tạp chí |
| Tiêu đề: |
Recursive Functions in Computer Theory. "Chichester: Ellis-Horwood 1981. [26J Pour-EI, Marian B., and Richards, Jonathan I.: "Computability in Anal-"ysis and Physics |
|
| [27] Rayward-Smith, V.J.: A First Course in Computability. Oxford: Blackwell Scientific Publications 1986 |
Sách, tạp chí |
| Tiêu đề: |
A First Course in Computability |
|
| [28] Rogers, Hartley Jr.: Theory of Recursive Functions and Effective Com- putability. New Yorkã McGraw-Hill 1967.[29J Salomaa, Arto: Computation and Automata. Cambridge: Cambridge University Press 1985 |
Sách, tạp chí |
| Tiêu đề: |
Theory of Recursive Functions and Effective Com-putability. "New Yorkã McGraw-Hill 1967. [29J Salomaa, Arto: "Computation and Automata |
|
| [30] Schnorr, C.P.: Does the computational speed-up concern program- ming? In Nivat, M. (ed.): Automata, Languages and Programming.Amsterdam: North-Holland 1973 |
Sách, tạp chí |
| Tiêu đề: |
Automata, Languages and Programming |
|
| [31] Todd, John' Introduction to the Constructive Theory of Functions. Basel: Birkhaiiser Verlag 1963 |
Sách, tạp chí |
| Tiêu đề: |
Introduction to the Constructive Theory of Functions |
|
| [32] Weihrauch, Klaus. Computability New York-Heidelberg-Berlin: Springer-Verlag 1987 |
Sách, tạp chí |
|
| [33] Wilf, H.S.ã Algorithms and Complexity. Englewood Cliffs, New Jersey: Prentice-Hall Inc. 1986 |
Sách, tạp chí |
| Tiêu đề: |
Algorithms and Complexity |
|
| [34] Wood, Derick. Theory of Computation. New York- Harper & Row 1987 |
Sách, tạp chí |
| Tiêu đề: |
Theory of Computation |
|
| [16] Dowling, W.F.: Computer Viruses: diagonalization and fixed points |
Khác |
|