Computations in Higher Types. 1st ed. 1977
- 種類:
- 電子ブック
- 責任表示:
- by J. Moldestad
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1977
- 著者名:
- シリーズ名:
- Lecture Notes in Mathematics ; 574
- ISBN:
- 9783540374251 [3540374256]
- 注記:
- Abstract -- The computation domain -- Recursion on ? -- Connection with Kleene recursion in higher types -- Recursion in normal lists on ? -- Kleene recursion in normal objects of type n+2, n>0 -- Computation theories on ? -- Abstract Kleene theories -- Normal computation theories on ? -- More about Mahloness -- Calculation of the lengths of some computations -- Gaps -- On platek: “Foundations of recursion theory” -- A final comment concerning the two types.
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer-Verlag |
Springer-Verlag Berlin Heidelberg |
Springer New York : Imprint: Springer |
Springer International Publishing : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer New York : Imprint: Springer |
Springer Berlin Heidelberg |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag Berlin Heidelberg |
Springer Science+Business Media, LLC |
Springer Science+Business Media, Inc. |