共 19 条
[1]
BUCHI JR, 1964, ARCH MATH LOQIK GRUN, V6, P91, DOI DOI 10.1007/BF01969548
[2]
CHOMSKY N, 1962, RLE65 MIT RES LAB EL
[3]
Davis M., 1958, COMPUTABILITY UNSOLV
[4]
DEBAKKER JW, 1965, MR74 STICHT MATH CEN
[5]
GINSBURG S, TO APPEAR
[6]
GINSBURG S, 1966, MATHEMATICAL THEORY
[7]
GINSBURG S, 1965, TM73801400 SYST DEV
[8]
GRAY JN, TO BE PUBLISHED
[9]
GREIBACH SA, 1965, TM73801600 SDC DOC
[10]
HARTMANIS J, 1965, 65 P IFIP C WASH, P31