The following pages link to Free inductive \(K\)-semialgebras (Q383784):
Displayed 5 items.
- A connection between concurrency and language theory (Q265802) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Equational theories for automata (Q2074221) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)