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 条
  • [21] Syntactic cut-elimination for a fragment of the modal mu-calculus
    Bruennler, Kai
    Studer, Thomas
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (12) : 1838 - 1853
  • [22] Verification of complex dynamic data tree with mu-calculus
    María del Mar Gallardo
    David Sanán
    [J]. Automated Software Engineering, 2013, 20 : 569 - 612
  • [23] Modal μ-calculus and alternating tree automata
    Zappe, J
    [J]. AUTOMATA, LOGICS, AND INFINITE GAMES: A GUIDE TO CURRENT RESEARCH, 2002, 2500 : 171 - 184
  • [24] Partial-order reduction in the weak modal mu-calculus
    Ramakrishna, YS
    Smolka, SA
    [J]. CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 5 - 24
  • [25] Effective Cut-elimination for a Fragment of Modal mu-calculus
    Grigori Mints
    [J]. Studia Logica, 2012, 100 : 279 - 287
  • [26] Games for the mu-calculus
    Niwinski, D
    Walukiewicz, I
    [J]. THEORETICAL COMPUTER SCIENCE, 1996, 163 (1-2) : 99 - 116
  • [27] Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
    Dima, Catalin
    Maubert, Bastien
    Pinchinat, Sophie
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015, PT I, 2015, 9234 : 179 - 191
  • [28] Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
    Dima, Catalin
    Maubert, Bastien
    Pinchinat, Sophie
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (03)
  • [29] Spatial logic of tangled closure operators and modal mu-calculus
    Goldblatt, Robert
    Hodkinson, Ian
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (05) : 1032 - 1090
  • [30] Bounded game-theoretic semantics for modal mu-calculus
    Hella, Lauri
    Kuusisto, Antti
    Ronnholm, Raine
    [J]. INFORMATION AND COMPUTATION, 2022, 289
12345