Pages that link to "Item:Q412016"
From MaRDI portal
The following pages link to Free iterative and iteration \(K\)-semialgebras (Q412016):
Displaying 8 items.
- A connection between concurrency and language theory (Q265802) (← links)
- Free inductive \(K\)-semialgebras (Q383784) (← links)
- Equational theories for automata (Q2074221) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Conway and iteration hemirings Part 1 (Q2876612) (← 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)
- Multi-Linear Iterative K-Σ-Semialgebras (Q5739356) (← links)
