Pages that link to "Item:Q3503899"
From MaRDI portal
The following pages link to Backward and Forward Bisimulation Minimisation of Tree Automata (Q3503899):
Displayed 10 items.
- Weak bisimulations for fuzzy automata (Q279375) (← links)
- Bisimulations for fuzzy automata (Q423147) (← links)
- On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations (Q622073) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Backward and forward bisimulation minimization of tree automata (Q840778) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- Fuzzy relation equations and reduction of fuzzy automata (Q988575) (← links)
- Minimizing deterministic weighted tree automata (Q1041045) (← links)
- A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata (Q5170274) (← links)
- Computing Simulations over Tree Automata (Q5458323) (← links)