Pages that link to "Item:Q5428234"
From MaRDI portal
The following pages link to Bisimulation Minimisation for Weighted Tree Automata (Q5428234):
Displaying 5 items.
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Hyper-optimization for deterministic tree automata (Q2344747) (← links)
- Simulations of Weighted Tree Automata (Q3073652) (← links)
- A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata (Q5170274) (← links)
- Tree-Based Generation of Restricted Graph Languages (Q6195089) (← links)