Tree Automata and Automata on Linear Orderings (Q3625696)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tree Automata and Automata on Linear Orderings |
scientific article |
Statements
Tree Automata and Automata on Linear Orderings (English)
0 references
6 May 2009
0 references
finite automata
0 references
words over linear orderings
0 references
trees
0 references
monadic second-order logic
0 references
