Pages that link to "Item:Q5350163"
From MaRDI portal
The following pages link to Minimization of Deterministic Top-down Tree Automata (Q5350163):
Displaying 4 items.
- Deterministic top-down tree automata with Boolean deterministic look-ahead (Q2163373) (← links)
- Earliest normal form and minimization for bottom-up tree transducers (Q2909099) (← links)
- Minimal Ascending and Descending Tree Automata (Q4337430) (← links)
- Minimization of Word-Level Decision Diagrams (Q4788457) (← links)