ALTERNATION

[1] Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st

[2] [Anonymous], 1971, STOC 71, DOI DOI 10.1145/800157.805047

[3] Berman L., 1977, 18th Annual Symposium on Foundations of Computer Science, P95, DOI 10.1109/SFCS.1977.23

[4] Borodin A, COMMUNICATION

[5] Chandra A. K., 1976, 17TH P IEEE S F COMP, P98, DOI DOI 10.1109/SFCS.1976.4

[6] PROPOSITIONAL DYNAMIC LOGIC OF REGULAR PROGRAMS [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 18 (02) : 194 - 211

[7] HARTMANIS J, 1974, COMPLEXITY COMPUTATI, P1

[8] Hartmanis J, 1974, 15TH P ANN IEEE S SW, P13

[9] Hopcroft J.E., 1969, FORMAL LANGUAGES THE

[10] Karp R.M., 1972, COMPLEXITY COMPUTER

[1] Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st

[2] [Anonymous], 1971, STOC 71, DOI DOI 10.1145/800157.805047

[3] Berman L., 1977, 18th Annual Symposium on Foundations of Computer Science, P95, DOI 10.1109/SFCS.1977.23

[4] Borodin A, COMMUNICATION

[5] Chandra A. K., 1976, 17TH P IEEE S F COMP, P98, DOI DOI 10.1109/SFCS.1976.4

[6] PROPOSITIONAL DYNAMIC LOGIC OF REGULAR PROGRAMS [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 18 (02) : 194 - 211

[7] HARTMANIS J, 1974, COMPLEXITY COMPUTATI, P1

[8] Hartmanis J, 1974, 15TH P ANN IEEE S SW, P13

[9] Hopcroft J.E., 1969, FORMAL LANGUAGES THE

[10] Karp R.M., 1972, COMPLEXITY COMPUTER