DECIDING FULL BRANCHING TIME LOGIC

被引：90

作者：

EMERSON, EA ^{[1
]}

SISTLA, AP ^{[1
]}

机构：

[1] UNIV MASSACHUSETTS,DEPT ELECT & COMP ENGN,AMHERST,MA 01003

来源：

INFORMATION AND CONTROL | 1984年 / 61卷 / 03期

关键词：

D O I：

10.1016/S0019-9958(84)80047-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：175 / 201

页数：27

共 26 条

[1]

Abrahamson K. R., 1980, THESIS U WASHINGTON

[2]

BENARI M, 1981, 8TH P ANN ACM S PRIN

[3]

CLARKE EM, 1981, LECTURE NOTES COMPUT, V131

[4]

CLARKE EM, 1983, 1982 P ANN ACM S PRI

EMERSON, EA ;

CLARKE, EM .

[6]

EMERSON EA, 1983, THEORETICAL COMPUTER, V26, P120

[7]

EMERSON EA, 1983, P ANN ACM S PRINCIPL

[8]

EMERSON EA, 1982, 14TH ANN ACM S THEOR

[9] PROPOSITIONAL DYNAMIC LOGIC OF REGULAR PROGRAMS [J].

FISCHER, MJ ;

LADNER, RE .

[10]

GABBAY D, 1980, 7TH ANN ACM S PRINC