EQUATIONAL MU-CALCULUS

被引：0
|
作者：
NIWINSKI, D
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 208卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：167 / 176
页数：10
相关论文
共 50 条
  • [1] Efficient model checking via the equational mu-calculus
    Bhat, G
    Cleaveland, R
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 304 - 312
  • [2] Games for the mu-calculus
    Niwinski, D
    Walukiewicz, I
    THEORETICAL COMPUTER SCIENCE, 1996, 163 (1-2) : 99 - 116
  • [3] Domain mu-calculus
    Zhang, GQ
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2003, 37 (04): : 337 - 364
  • [4] Lukasiewicz mu-calculus
    Mio, Matteo
    Simpson, Alex
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (126): : 87 - 104
  • [5] The Horn mu-calculus
    Charatonik, W
    McAllester, D
    Niwinski, D
    Podelski, A
    Walukiewicz, I
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 58 - 69
  • [6] Continuous Fragment of the mu-Calculus
    Fontaine, Gaelle
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2008, 5213 : 139 - 153
  • [7] Transfinite extension of the Mu-calculus
    Bradfield, J
    Duparc, J
    Quickert, S
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2005, 3634 : 384 - 396
  • [8] RESULTS ON THE PROPOSITIONAL MU-CALCULUS
    KOZEN, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 348 - 359
  • [9] RESULTS ON THE PROPOSITIONAL MU-CALCULUS
    KOZEN, D
    THEORETICAL COMPUTER SCIENCE, 1983, 27 (03) : 333 - 354
  • [10] Mu-calculus path checking
    Markey, N
    Schnoebelen, P
    INFORMATION PROCESSING LETTERS, 2006, 97 (06) : 225 - 230
12345