Pages that link to "Item:Q4635952"
From MaRDI portal
The following pages link to Minimization of Symbolic Tree Automata (Q4635952):
Displaying 8 items.
- The suffix tree of a tree and minimizing sequential transducers (Q1127317) (← links)
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata (Q3303912) (← links)
- Backward and Forward Bisimulation Minimisation of Tree Automata (Q3503899) (← links)
- Minimal Ascending and Descending Tree Automata (Q4337430) (← links)
- Minimization of symbolic automata (Q5408448) (← links)
- Bisimulation Minimization of Tree Automata (Q5757232) (← links)
- Inferring Symbolic Automata (Q6135753) (← links)
- Succinct ordering and aggregation constraints in algebraic array theories (Q6561348) (← links)