ON MODAL MU-CALCULUS AND BUCHI TREE AUTOMATA

被引：4
|
作者：
KAIVOLA, R
机构：
[1] Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, EH9 3JZ, The King's Buildings
来源：
INFORMATION PROCESSING LETTERS | 1995年 / 54卷 / 01期
关键词：
FORMAL LANGUAGES; MODAL MU-CALCULUS; ALTERNATION; BUCHI-AUTOMATA;
D O I：
10.1016/0020-0190(94)00227-P
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：17 / 22
页数：6
相关论文
共 50 条
  • [31] Bounded game-theoretic semantics for modal mu-calculus
    Hella, Lauri
    Kuusisto, Antti
    Ronnholm, Raine
    INFORMATION AND COMPUTATION, 2022, 289
  • [32] Domain mu-calculus
    Zhang, GQ
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2003, 37 (04): : 337 - 364
  • [33] EQUATIONAL MU-CALCULUS
    NIWINSKI, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 208 : 167 - 176
  • [34] Lukasiewicz mu-calculus
    Mio, Matteo
    Simpson, Alex
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (126): : 87 - 104
  • [35] 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
  • [36] Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus
    Afshari, Bahareh
    Leigh, Graham E.
    Turata, Guillermo Menendez
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 335 - 353
  • [37] Model checking the full modal mu-calculus for infinite sequential processes
    Burkart, O
    Steffen, B
    THEORETICAL COMPUTER SCIENCE, 1999, 221 (1-2) : 251 - 270
  • [38] COMPLEXITY OF MODEL CHECKING RECURSION SCHEMES FOR FRAGMENTS OF THE MODAL MU-CALCULUS
    Kobayashi, Naoki
    Ong, C-H Luke
    LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (04) : 1 - 23
  • [39] Modal Mu-calculus Extension with Description of Autonomy and Its Algebraic Structure
    Yamasaki, Susumu
    Sasakura, Mariko
    PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPLEXITY, FUTURE INFORMATION SYSTEMS AND RISK (COMPLEXIS), 2020, : 63 - 71
  • [40] Continuous Fragment of the mu-Calculus
    Fontaine, Gaelle
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2008, 5213 : 139 - 153
12345