共 9 条
[1]
Aho AV., 1975, DESIGN ANAL COMPUTER
[4]
COOK SA, 1980, INT S LOGIK ALGORITH
[5]
FERRANTE J, 1979, LECTURE NOTES MATH, V718
[6]
Hopcroft J.E., 1969, FORMAL LANGUAGES THE
[7]
HUNT HB, 1973, TR73156 CORN U DEP C
[8]
MEYER AR, 13TH P IEEE S SWITCH, P125
[9]
Stockmeyer Larry Joseph, 1974, COMPLEXITY DECISION