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] PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS
    Afshari, Bahareh
    Enqvist, Sebastian
    Leigh, Graham e.
    Marti, Johannes
    Venema, Yde
    JOURNAL OF SYMBOLIC LOGIC, 2023,
  • [22] Syntactic cut-elimination for a fragment of the modal mu-calculus
    Bruennler, Kai
    Studer, Thomas
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (12) : 1838 - 1853
  • [23] Verification of complex dynamic data tree with mu-calculus
    María del Mar Gallardo
    David Sanán
    Automated Software Engineering, 2013, 20 : 569 - 612
  • [24] Modal μ-calculus and alternating tree automata
    Zappe, J
    AUTOMATA, LOGICS, AND INFINITE GAMES: A GUIDE TO CURRENT RESEARCH, 2002, 2500 : 171 - 184
  • [25] Partial-order reduction in the weak modal mu-calculus
    Ramakrishna, YS
    Smolka, SA
    CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 5 - 24
  • [26] Effective Cut-elimination for a Fragment of Modal mu-calculus
    Grigori Mints
    Studia Logica, 2012, 100 : 279 - 287
  • [27] Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
    Dima, Catalin
    Maubert, Bastien
    Pinchinat, Sophie
    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
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (03)
  • [29] Games for the mu-calculus
    Niwinski, D
    Walukiewicz, I
    THEORETICAL COMPUTER SCIENCE, 1996, 163 (1-2) : 99 - 116
  • [30] Spatial logic of tangled closure operators and modal mu-calculus
    Goldblatt, Robert
    Hodkinson, Ian
    ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (05) : 1032 - 1090
12345