Pushing for Weighted Tree Automata (Q3088063)
From MaRDI portal
scientific article; zbMATH DE number 6828648
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pushing for Weighted Tree Automata |
scientific article; zbMATH DE number 6828648 |
Statements
Pushing for Weighted Tree Automata (English)
0 references
17 August 2011
0 references
23 January 2018
0 references
weighted tree automaton
0 references
pushing
0 references
minimization
0 references
equivalence testing
0 references
