共 42 条
[1]
AHO AV, 1974, DESIGN ANALYSIS COMP
[2]
AXT P, 1959, T AM MATH SOC, V92
[3]
BLUM M, 1967, J ASSOC COMPUT MACH, V14
[4]
Cobham A., 1965, LOGIC METHODOLOGY PH
[5]
CONSTABLE R, 1973, 5 ANN ACM S THEOR CO, P108
[6]
CONSTABLE RL, 1972, J ASSOC COMPUT MACH, V19
[7]
CONSTABLE RL, MATHEMATICAL COMPUTI
[8]
COOK S, 1971, 3RD P ACM S THEOR CO
[9]
GRZEGORCZYK A, 1953, ROZPRAWY MAT WARSAW, V4
[10]
HARTMANIS J, 1965, T AM MATH SOC, V117