ALTERNATING TREE AUTOMATA

被引：0
|
作者：
SLUTZKI, G
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1983年 / 159卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：392 / 404
页数：13
相关论文
共 50 条
  • [1] ALTERNATING TREE AUTOMATA
    SLUTZKI, G
    [J]. THEORETICAL COMPUTER SCIENCE, 1985, 41 (2-3) : 305 - 318
  • [2] Modal μ-calculus and alternating tree automata
    Zappe, J
    [J]. AUTOMATA, LOGICS, AND INFINITE GAMES: A GUIDE TO CURRENT RESEARCH, 2002, 2500 : 171 - 184
  • [3] Alternating Tree Automata with Qualitative Semantics
    Berthon, Raphael
    Fijalkow, Nathanael
    Filiot, Emmanuel
    Guha, Shibashis
    Maubert, Bastien
    Murano, Aniello
    Pinault, Laureline
    Pinchinat, Sophie
    Rubin, Sasha
    Serre, Olivier
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (01)
  • [4] Alternating tree automata and parity games
    Kirsten, D
    [J]. AUTOMATA, LOGICS, AND INFINITE GAMES: A GUIDE TO CURRENT RESEARCH, 2002, 2500 : 153 - 167
  • [5] L-valued Alternating Tree Automata
    Wei, Xiu-Juan
    Li, Yong-Ming
    [J]. Ruan Jian Xue Bao/Journal of Software, 2019, 30 (12): : 3605 - 3621
  • [6] Alternating tree automata, parity games, and modal μ-calculus
    Wilke, T
    [J]. BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2001, 8 (02) : 359 - 391
  • [7] Alternating two-way AC-tree automata
    Verma, Kumar Neeraj
    Goubault-Larrecq, Jean
    [J]. INFORMATION AND COMPUTATION, 2007, 205 (06) : 817 - 869
  • [8] ALTERNATING AUTOMATA, THE WEAK MONADIC THEORY OF THE TREE, AND ITS COMPLEXITY
    MULLER, DE
    SAOUDI, A
    SCHUPP, PE
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 226 : 275 - 283
  • [9] Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
    Duparc, Jacques
    Facchini, Alessandro
    Murlak, Filip
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2009, 5771 : 225 - +
  • [10] Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata
    Belardinelli, Francesco
    Jones, Andrew V.
    Lomuscio, Alessio
    [J]. FUNDAMENTA INFORMATICAE, 2011, 112 (01) : 19 - 37
12345