Weighted tree automata and weighted logics (Q860890)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weighted tree automata and weighted logics |
scientific article |
Statements
Weighted tree automata and weighted logics (English)
0 references
9 January 2007
0 references
weighted automata
0 references
tree automata
0 references
MSO logics
0 references
formal power series
0 references
0 references
0 references
