THE PROPOSITIONAL MU-CALCULUS IS ELEMENTARY

被引：0

|

作者：

STREETT, RS ^{[1
]}

EMERSON, EA ^{[1
]}

机构：

[1] UNIV TEXAS,DEPT COMP SCI,AUSTIN,TX 78712

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 172卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：465 / 472

页数：8

相关论文

共 50 条

[1] RESULTS ON THE PROPOSITIONAL MU-CALCULUS
KOZEN, D
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 348 - 359
[2] RESULTS ON THE PROPOSITIONAL MU-CALCULUS
KOZEN, D
[J]. THEORETICAL COMPUTER SCIENCE, 1983, 27 (03) : 333 - 354
[3] A DECISION PROCEDURE FOR THE PROPOSITIONAL MU-CALCULUS
KOZEN, D
PARIKH, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 313 - 325
[4] An approximation semantics for the propositional mu-calculus
Villemaire, R
[J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2002, 2002, 2420 : 637 - 649
[5] AN AUTOMATA THEORETIC DECISION PROCEDURE FOR THE PROPOSITIONAL MU-CALCULUS
STREETT, RS
EMERSON, EA
[J]. INFORMATION AND COMPUTATION, 1989, 81 (03) : 249 - 264
[6] TABLEAU-BASED MODEL CHECKING IN THE PROPOSITIONAL MU-CALCULUS
CLEAVELAND, R
[J]. ACTA INFORMATICA, 1990, 27 (08) : 725 - 747
[7] Games for the mu-calculus
Niwinski, D
Walukiewicz, I
[J]. THEORETICAL COMPUTER SCIENCE, 1996, 163 (1-2) : 99 - 116
[8] EQUATIONAL MU-CALCULUS
NIWINSKI, D
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 208 : 167 - 176
[9] Domain mu-calculus
Zhang, GQ
[J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2003, 37 (04): : 337 - 364
[10] Lukasiewicz mu-calculus
Mio, Matteo
Simpson, Alex
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (126): : 87 - 104

← 1 2 3 4 5 →