Pages that link to "Item:Q5170274"
From MaRDI portal
The following pages link to A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata (Q5170274):
Displayed 6 items.
- Compression of finite-state automata through failure transitions (Q300258) (← links)
- Mediating for reduction (on minimizing alternating Büchi automata) (Q740970) (← links)
- Aggregation-based minimization of finite state automata (Q2035006) (← links)
- TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS (Q4626611) (← links)
- Minimization of Finite State Automata Through Partition Aggregation (Q5738999) (← links)
- Simulation relations and applications in formal methods (Q6113980) (← links)
