Effective optimization with weighted automata on decomposable trees (Q5413875)
From MaRDI portal
scientific article; zbMATH DE number 6291235
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective optimization with weighted automata on decomposable trees |
scientific article; zbMATH DE number 6291235 |
Statements
Effective optimization with weighted automata on decomposable trees (English)
0 references
2 May 2014
0 references
weighted tree automata
0 references
weighted monadic second-order logic
0 references
weighted translation scheme
0 references
sum-like weighted labeled trees
0 references
planning problems
0 references
0 references
0 references
