ALTERNATING TREE AUTOMATA

被引：0
|
作者：
SLUTZKI, G
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1983年 / 159卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：392 / 404
页数：13
相关论文
共 50 条
  • [31] Symbolic implementation of alternating automata
    Bloem, R.
    Cimatti, A.
    Pill, I.
    Roveri, M.
    Semprini, S.
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 4094 : 208 - 218
  • [32] From Word Automata to Tree Automata
    Luo, Chenguang
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 94 - +
  • [33] The State Complexity of Alternating Automata
    Fijalkow, Nathanael
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 414 - 421
  • [34] Weak alternating automata are not that weak
    Kupferman, O
    Vardi, MY
    PROCEEDINGS OF THE FIFTH ISRAELI SYMPOSIUM ON THEORY OF COMPUTING AND SYSTEMS, 1997, : 147 - 158
  • [35] Multipebble Simulations for Alternating Automata
    Clemente, Lorenzo
    Mayr, Richard
    CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 297 - 312
  • [36] ON ALTERNATING OMEGA-AUTOMATA
    LINDSAY, PA
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1988, 36 (01) : 16 - 24
  • [37] WEAK ALTERNATING TIMED AUTOMATA
    Parys, Pawel
    Walukiewicz, Igor
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
  • [38] Alternating automata and program verification
    Vardi, MY
    COMPUTER SCIENCE TODAY, 1995, 1000 : 471 - 485
  • [39] ALTERNATING MULTIHEAD FINITE AUTOMATA
    KING, KN
    THEORETICAL COMPUTER SCIENCE, 1988, 61 (2-3) : 149 - 174
  • [40] (SEMI)ALTERNATING STACK AUTOMATA
    GURARI, EM
    IBARRA, OH
    MATHEMATICAL SYSTEMS THEORY, 1982, 15 (03): : 211 - 224
12345