The following pages link to Iteration 2-theories (Q5930757):
Displaying 9 items.
- Simulation relations for pattern matching in directed graphs (Q388784) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Categories with sums and right distributive tensor product (Q1861509) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- Graph automata (Q2481961) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
