Relating word and tree automata

被引：18

作者：

Kupferman, O ^{[1
]}

Safra, S ^{[1
]}

Vardi, MY ^{[1
]}

机构：

[1] AT&T BELL LABS,MURRAY HILL,NJ 07974

来源：

11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1996年

关键词：

D O I：

10.1109/LICS.1996.561360

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：322 / 332

页数：11

共 50 条

[1] Relating word and tree automata
Kupferman, O
Safra, S
Vardi, MY
ANNALS OF PURE AND APPLIED LOGIC, 2006, 138 (1-3) : 126 - 146
[2] Relating hierarchies of word and tree automata
Niwinski, D
Walukiewicz, I
STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 320 - 331
[3] From Word Automata to Tree Automata
Luo, Chenguang
PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 94 - +
[4] Relating tree series transducers and weighted tree automata
Maletti, A
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2005, 16 (04) : 723 - 741
[5] Relating tree series transducers and weighted tree automata
Maletti, A
DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2004, 3340 : 321 - 333
[6] POLISHNESS OF SOME TOPOLOGIES RELATED TO WORD OR TREE AUTOMATA
Carton, Olivier
Finkel, Olivier
Lecomte, Dominique
LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (02) : 9:1 - 9:21
[7] Relating timed and register automata
Figueira, Diego
Hofman, Piotr
Lasota, Slawomir
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016, 26 (06) : 993 - 1021
[8] Relating timed and register automata
Figueira, Diego
Hofman, Piotr
Lasota, Slawomir
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (41): : 61 - 75
[9] Relating Chi to hybrid automata
van Beek, B
Jansen, NG
Rooda, KE
Schiffelers, RRH
Man, KL
Reniers, MA
PROCEEDINGS OF THE 2003 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2003, : 632 - 640
[10] Hybrid tree automata and the yield theorem for constituent tree automata
Drewes, Frank
Moerbitz, Richard
Vogler, Heiko
THEORETICAL COMPUTER SCIENCE, 2023, 979

← 1 2 3 4 5 →