共 8 条
[1]
BOOK R, IN PRESS
[2]
Book R. V., 1972, SIAM Journal on Computing, V1, P281, DOI 10.1137/0201019
[4]
INTERSECTION-CLOSED FULL AFL AND RECURSIVELY ENUMERABLE LANGUAGES
[J].
INFORMATION AND CONTROL,
1973, 22 (03)
:201-231
[5]
Hartmanis J., 1972, Acta Informatica, V1, P336, DOI 10.1007/BF00289513
[6]
HARTMANIS J, 1973, TR73171 CORN U TECHN
[7]
Savitch W. J., 1973, Acta Informatica, V2, P249, DOI 10.1007/BF00289080
[8]
Savitch W. J., 1970, J COMPUT SYSTEM SCI, V4, P177, DOI [10.1016/S0022-0000(70)80006-X, DOI 10.1016/S0022-0000(70)80006-X]