ALTERNATION

被引：993

作者：

CHANDRA, AK

KOZEN, DC

STOCKMEYER, LJ

机构：

来源：

关键词：

D O I：

10.1145/322234.322243

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：114 / 133

页数：20

共 27 条

[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].

FISCHER, MJ ;

LADNER, RE .

[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