MANIFOLDS OF AUTOMATA DESCENDING FROM INFINITE-TREES

被引：0

|

作者：

SAOUDI, A

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1986年 / 43卷 / 2-3期

关键词：

D O I：

10.1016/0304-3975(86)90183-0

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：315 / 335

页数：21

相关论文

共 50 条

[31] INFINITE-TREES AND AUTOMATON-DEFINABLE RELATIONS OVER OMEGA-WORDS
THOMAS, W
THEORETICAL COMPUTER SCIENCE, 1992, 103 (01) : 143 - 159
[32] Tree Automata with Global Constraints for Infinite Trees
Landwehr, Patrick
Loeding, Christof
36TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2019), 2019,
[33] Infinite games on finitely coloured graphs with applications to automata on infinite trees
Zielonka, W
THEORETICAL COMPUTER SCIENCE, 1998, 200 (1-2) : 135 - 183
[34] The complexity of computing the behaviour of lattice automata on infinite trees
Lehmann, Karsten
Penaloza, Rafael
THEORETICAL COMPUTER SCIENCE, 2014, 534 : 53 - 68
[35] Automata and logics for words and trees over an infinite alphabet
Segoufin, Luc
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 41 - 57
[36] Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings
Carayol, Arnaud
Loeding, Christof
Serre, Olivier
PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 227 - 236
[37] DECIDABILITY OF SECOND-ORDER THEORIES AND AUTOMATA ON INFINITE TREES
RABIN, MO
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1968, 74 (05) : 1025 - &
[38] DECIDABILITY OF SECOND-ORDER THEORIES AND AUTOMATA ON INFINITE TREES
RABIN, MO
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 141 (JUL) : 1 - &
[39] Reasoning in expressive description logics with fixpoints based on automata on infinite trees
Calvanese, D
De Giacomo, G
Lenzerini, M
IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 84 - 89
[40] Randomization in Automata on Infinite Trees (vol 15 , pg 3, 2011)
Carayol, Arnaud
Haddad, Axel
Serre, Olivier
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (04)

← 1 2 3 4 5 →