共 17 条
[1]
ARBIB M, 1965, P AM MATH SOC, V16, P442
[5]
COBHAM A, 1964, 1964 P INT C LOG MET, P24
[6]
CONSTABLE RL, 1969, 6935 CORN U TECHN RE
[7]
Davis M., 1958, COMPUTABILITY UNSOLV
[10]
MCCREIGHT EM, 1969, ACM S THEORY COMPUTI, P79