 |
 |
|
|
 |
|
|
|
1 - 6 von 6
|
|
 |
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) recursion theory
eingrenzen (Basisklassifikation (XBKL)) 31.11
|
|
|
|
|
 |
1. |
Proof theory : the first step into impredicativity
Pohlers, Wolfram *1943-*. - Berlin, Heidelberg : Springer, 2009
|
|
|
|
2. |
Subrecursion : functions and hierarchies
Rose, H.E. *1936-*. - Oxford : Clarendon Press, 1984
|
|
|
|
3. |
Degrees of unsolvability : structure and theory
Epstein, Richard L. *1947-*. - Berlin : Springer, 1979
|
|
|
 |
4. |
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19 - 23, 1977
Karpiński, Marek *1948-*. - [Online-Ausg.]. - Berlin [u.a.] : Springer, 1977
|
|
|
|
5. |
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19 - 23, 1977
Karpiński, Marek *1948-*. - Berlin [u.a.] : Springer, 1977
|
|
|
|
6. |
Algorithmen und rekursive Funktionen
Malʹcev, Anatolij I. *1909-1967*. - Braunschweig : Vieweg, 1974
|
|
|
|
