Pages that link to "Item:Q287255"
From MaRDI portal
The following pages link to Noncommutative minimization algorithms (Q287255):
Displaying 5 items.
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Weighted Bisimulation in Linear Algebraic Form (Q3184672) (← links)
- Rational and Recognisable Power Series (Q5072546) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
- Direct and dual laws for automata with multiplicities (Q5958727) (← links)
