Pages that link to "Item:Q5464009"
From MaRDI portal
The following pages link to Implementation and Application of Automata (Q5464009):
Displayed 11 items.
- Hasse diagrams for classes of deterministic bottom-up tree-to-tree-series transformations (Q557898) (← links)
- MAT learners for tree series: an abstract data type and two realizations (Q766165) (← links)
- Weighted tree automata and weighted logics (Q860890) (← links)
- Compositions of tree series transformations (Q860891) (← links)
- Minimizing deterministic weighted tree automata (Q1041045) (← links)
- Ambiguity hierarchies for weighted tree automata (Q2117674) (← links)
- Weighted tree automata with constraints (Q2164002) (← links)
- Minimizing Deterministic Weighted Tree Automata (Q3540127) (← links)
- Myhill-Nerode Theorem for Recognizable Tree Series Revisited (Q5458521) (← links)
- Ambiguity Hierarchies for Weighted Tree Automata (Q6070750) (← links)
- Weighted tree automata with constraints (Q6151146) (← links)