ALTERNATING TREE AUTOMATA

被引：0
|
作者：
SLUTZKI, G
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1983年 / 159卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：392 / 404
页数：13
相关论文
共 50 条
  • [41] TREE AUTOMATA AND AUTOMATA ON LINEAR ORDERINGS
    Bruyere, Veronique
    Carton, Olivier
    Senizergues, Geraud
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2009, 43 (02): : 321 - 338
  • [42] Bounded Model Checking with SNF, Alternating Automata, and Buchi Automata
    Sheridan, Daniel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 119 (02) : 83 - 101
  • [43] Streaming tree automata
    Gauwin, Olivier
    Niehren, Joachim
    Roos, Yves
    INFORMATION PROCESSING LETTERS, 2008, 109 (01) : 13 - 17
  • [44] Symbolic tree automata
    Veanes, Margus
    Bjorner, Nikolaj
    INFORMATION PROCESSING LETTERS, 2015, 115 (03) : 418 - 424
  • [45] Dependency Tree Automata
    Stirling, Colin
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 92 - 106
  • [46] Propositional tree automata
    Hendrix, Joe
    Ohsaki, Hitoshi
    Viswanathan, Mahesh
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 50 - +
  • [47] Caterpillar tree automata
    Salomaa, K
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIV, PROCEEDINGS: COMPUTER SCIENCE, ENGINEERING AND APPLICATIONS, 2003, : 459 - 464
  • [48] Restarting tree automata
    Stamer, Heiko
    Otto, Friedrich
    SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4362 : 510 - +
  • [49] SYNCHRONIZED TREE AUTOMATA
    SALOMAA, K
    THEORETICAL COMPUTER SCIENCE, 1994, 127 (01) : 25 - 51
  • [50] Rewriting and tree automata
    Dauchet, M
    TERM REWRITING, 1995, 909 : 95 - 113
12345