Pages that link to "Item:Q840778"
From MaRDI portal
The following pages link to Backward and forward bisimulation minimization of tree automata (Q840778):
Displaying 21 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)
- From tree automata to string automata minimization (Q722214) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- Fuzzy relation equations and reduction of fuzzy automata (Q988575) (← links)
- Approximate bisimulation relations for fuzzy automata (Q1800262) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Aggregation-based minimization of finite state automata (Q2035006) (← links)
- Decidability of the minimization of fuzzy tree automata with membership values in complete lattices (Q2143812) (← links)
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures (Q2219195) (← links)
- Hyper-optimization for deterministic tree automata (Q2344747) (← links)
- Similarity-based minimization of fuzzy tree automata (Q2634346) (← links)
- MINIMIZATION OF PLANAR DIRECTED ACYCLIC GRAPH ALGEBRAS (Q2856022) (← links)
- A Congruence-Based Perspective on Finite Tree Automata (Q5025071) (← links)
- (Q5214815) (← links)
- HYPER-MINIMIZATION FOR DETERMINISTIC TREE AUTOMATA (Q5401558) (← links)
- Minimization of Finite State Automata Through Partition Aggregation (Q5738999) (← links)
- The Bottom-Up Position Tree Automaton and the Father Automaton (Q5859662) (← links)
- (Q5875346) (← links)
