Pages that link to "Item:Q903611"
From MaRDI portal
The following pages link to Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611):
Displaying 12 items.
- Weak bisimulations for fuzzy automata (Q279375) (← links)
- Further improvements of determinization methods for fuzzy finite automata (Q679810) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Construction of fuzzy automata from fuzzy regular expressions (Q1759725) (← links)
- Weakly linear systems of fuzzy relation inequalities: the heterogeneous case (Q1759728) (← links)
- Weakly linear systems for matrices over the max-plus quantale (Q2128082) (← links)
- Bisimulation of type 2 for BL-general fuzzy automata (Q2297988) (← links)
- Bisimulations for weighted automata over an additively idempotent semiring (Q2447758) (← links)
- Moore-Penrose equations in involutive residuated semigroups and involutive quantales (Q5005464) (← links)
- Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application (Q5863634) (← links)
- Characterization and computation of approximate bisimulations for fuzzy automata (Q6079413) (← links)
- Weighted Automata over Vector Spaces (Q6204126) (← links)