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
    THEORETICAL COMPUTER SCIENCE, 1985, 41 (2-3) : 305 - 318
  • [2] Modal μ-calculus and alternating tree automata
    Zappe, 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
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (01)
  • [4] Alternating tree automata and parity games
    Kirsten, D
    AUTOMATA, LOGICS, AND INFINITE GAMES: A GUIDE TO CURRENT RESEARCH, 2002, 2500 : 153 - 167
  • [5] L-valued Alternating Tree Automata
    Wei X.-J.
    Li Y.-M.
    Ruan Jian Xue Bao/Journal of Software, 2019, 30 (12): : 3605 - 3621
  • [6] Alternating tree automata, parity games, and modal μ-calculus
    Wilke, T
    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
    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
    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
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2009, 5771 : 225 - +
  • [10] Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata
    Belardinelli, Francesco
    Jones, Andrew V.
    Lomuscio, Alessio
    FUNDAMENTA INFORMATICAE, 2011, 112 (01) : 19 - 37
12345