共 12 条
[1]
ARBIB M, 1965, P AM MATH SOC, V16, P442
[2]
BLUM M, 1964, THESIS MIT DEP MATH
[3]
Davis M., 1958, COMPUTABILITY UNSOLV
[5]
HARTMANIS J, 1964, 5 P ANN S SWITCH THE
[6]
MYHILL J, 1960, WADD60165 TECH NOT
[7]
MYHILL J, 6022 U PENN REP
[9]
RABIN MO, 1960, 2 TECH HEBR U TECH R
[10]
Ritchie R. W., 1963, T AM MATH SOC, V106, P139, DOI DOI 10.1090/S0002-9947-1963-0158822-2