共 23 条
[1]
Avizienis A., 1961, IRE T ELECTRON COMPU, VEC-10, P389, DOI DOI 10.1109/TEC.1961.5219227
[2]
BERKOWITZ SJ, 1982, COMPUTING DETERMINAN
[4]
BORODIN A, 1982, IEEE SYMPOS FOUND CO, V23, P65
[5]
Borodin A., 1975, COMPUTATIONAL COMPLE
[6]
Cook S.A., 1981, ENSEIGNEMENT MATH, VXXVII, P99
[7]
Csanky L., 1976, SIAM Journal on Computing, V5, P618, DOI 10.1137/0205040
[10]
Hopcroft J.E., 1969, FORMAL LANGUAGES THE