ALTERNATING TREE AUTOMATA

被引：0
|
作者：
SLUTZKI, G
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1983年 / 159卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：392 / 404
页数：13
相关论文
共 50 条
  • [21] Alternating Parity Krivine Automata
    Bruse, Florian
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 111 - 122
  • [22] Answering regular path queries in expressive Description Logics via alternating tree-automata
    Calvanese, Diego
    Eiter, Thomas
    Ortiz, Magdalena
    INFORMATION AND COMPUTATION, 2014, 237 : 12 - 55
  • [23] Learning Residual Alternating Automata
    Berndt, Sebastian
    Liskiewicz, Maciej
    Lutter, Matthias
    Reischuk, Ruediger
    THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1749 - 1755
  • [24] ALTERNATING AUTOMATA WITH START FORMULAS
    MOSTOWSKI, AW
    INFORMATION PROCESSING LETTERS, 1990, 35 (06) : 287 - 290
  • [25] Learning residual alternating automata
    Berndt, Sebastian
    Liskiewicz, Maciej
    Lutter, Matthias
    Reischuk, Ruediger
    INFORMATION AND COMPUTATION, 2022, 289
  • [26] Alternating Buchi automata as abstractions
    Xu, Zheng. Quan.
    Yuan, Zhi. Bin.
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2006, 13 : 1219 - 1221
  • [27] An alternating hierarchy for finite automata
    Geffert, Viliam
    THEORETICAL COMPUTER SCIENCE, 2012, 445 : 1 - 24
  • [28] ALTERNATING PUSHDOWN AND STACK AUTOMATA
    LADNER, RE
    LIPTON, RJ
    STOCKMEYER, LJ
    SIAM JOURNAL ON COMPUTING, 1984, 13 (01) : 135 - 155
  • [29] Symbolic implementation of alternating automata
    Bloem, Roderick
    Cimatti, Alessandro
    Pill, Ingo
    Roveri, Marco
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2007, 18 (04) : 727 - 743
  • [30] Weak Alternating Timed Automata
    Parys, Pawel
    Walukiewicz, Igor
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, PROCEEDINGS, 2009, 5556 : 273 - +
12345