RESULTS ON THE PROPOSITIONAL MU-CALCULUS

被引：1016

作者：

KOZEN, D ^{[1
]}

机构：

[1] AARHUS UNIV,DK-8000 AARHUS C,DENMARK

来源：

关键词：

D O I：

10.1016/0304-3975(82)90125-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：333 / 354

页数：22

共 22 条

[1] ALTERNATION [J].

CHANDRA, AK ;

KOZEN, DC ;

STOCKMEYER, LJ .

[2]

de Bakker J. W., 1972, 1ST INT C AUT LANG P, P167

[3]

DEBAKKER JW, 1980, MATH THEORY PROGRAM

[4]

DEROEVER WP, 1974, THESIS FREE U AMSTER

[5]

EMERSON EA, 1982, LECTURE NOTES COMPUT, V131, P52

[6]

EMERSON EA, 1980, LECT NOTES COMPUT SC, V85, P169

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

FISCHER, MJ ;

LADNER, RE .

[8]

Halpern J. Y., 1981, 22nd Annual Symposium on Foundations of Computer Science, P322, DOI 10.1109/SFCS.1981.49

[9]

HITCHCOCK P, 1973, 1ST P INT C AUT LANG, P225

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

KOZEN, D ;

PARIKH, R .