共 13 条
[1]
Bar-Hillel Yehoshua, 1961, SPRACHTYPOLOGIE UNIV, V14, P143
[2]
BUCHI JR, 1964, ARCH MATH LOQIK GRUN, V6, P91, DOI DOI 10.1007/BF01969548
[3]
CHOMSKY N, 1962, MIT65 RES LAB EL QUA
[4]
Davis M., 1958, COMPUTABILITY UNSOLV
[8]
GINSBURG S, 1966, MATHEMATICAL THEORY
[9]
HARRISON MA, 1965, INTRODUCTION SWITCHI
[10]
KURODA SY, 1964, INFORM CONTR, V7, P202