共 13 条
[1]
GRZEGORCYZK A, 1958, CONSTRUCTIVITY MATH, P43
[2]
Grzegorczyk A., 1957, FUND MATH, V44, P61
[3]
GRZEGORCZYK A, 1955, FUND MATH, V42, P168
[4]
Hopcroft J.E., 1979, INTRO AUTOMATA THEOR
[5]
Khintchine A. Ya., 1963, CONTINUED FRACTIONS
[6]
ON THE DEFINITIONS OF SOME COMPLEXITY CLASSES OF REAL NUMBERS
[J].
MATHEMATICAL SYSTEMS THEORY,
1983, 16 (02)
:95-109
[8]
Ladner R. E., 1975, Theoretical Computer Science, V1, P103, DOI 10.1016/0304-3975(75)90016-X
[9]
Mostowski A., 1957, FUND MATH, V44, P37
[10]
RECURSIVE REAL NUMBERS
[J].
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY,
1954, 5 (05)
:784-791