Pages that link to "Item:Q5739356"

The following pages link to Multi-Linear Iterative K-Σ-Semialgebras (Q5739356):

Displaying 2 items.

• A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
• Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)