PROPOSITIONAL LOGICS OF PROGRAMS - NEW DIRECTIONS

被引：0

作者：

PARIKH, R

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：347 / 359

页数：13

共 17 条

[1] ALTERNATION [J].

CHANDRA, AK ;

KOZEN, DC ;

STOCKMEYER, LJ .

[2]

Ehrenfeucht A., 1961, FUND MATH, V49, P129

[3]

EVEN S, COMMUNICATION

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

FISCHER, MJ ;

LADNER, RE .

[5]

GUREVICH Y, 1982, 14TH S THEOR COMP, P60

[6] AN ELEMENTARY PROOF OF THE COMPLETENESS OF PDL [J].

KOZEN, D ;

PARIKH, R .

[7]

KOZEN D, 1982, SPRINGER LNCS, V348

[8]

KOZEN D, 1983, UNPUB DECISION PROCE

[9]

MEYER A, 1981, J COMPUT SYSTEMS SCI, V23, P271

[10]

Mycielski J., 1962, B ACAD POL SCI SMAP, V10, P1