共 11 条
[1]
ARBIB M, 1965, P AM MATH SOC, V16, P442
[2]
ARBIB MA, 1966, AUTOMATA THEORY, P6
[4]
CAIANIELLO ER, 1966, AUTOMATA THEORY ED, P6
[6]
CHAITIN GJ, IN PRESS
[7]
Davis M., 1958, COMPUTABILITY UNSOLV
[9]
Minsky M., 1962, RECURSIVE FUNCTION T, V5, P229
[10]
Rogers H., 1958, J SYMBOLIC LOGIC, V23, P331, DOI [10.2307/2964292, DOI 10.2307/2964292]