Pages that link to "Item:Q287255"

The following pages link to Noncommutative minimization algorithms (Q287255):

Displaying 3 items.

• A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
• Weighted Bisimulation in Linear Algebraic Form (Q3184672) (← links)
• Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)