The following pages link to (Q5203698):
Displaying 17 items.
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Axiomatizing prefix iteration with silent steps (Q1923086) (← links)
- Matrix and matricial iteration theories. I (Q2366691) (← links)
- Matrix and matricial iteration theories. II (Q2366692) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Elgot theories: a new perspective of iteration theories (extended abstract) (Q2805168) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Dagger extension theorem (Q3094166) (← links)
- (Q3795255) (← links)
- (Q4704206) (← links)
- (Q5274901) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Some quasi-varieties of iteration theories (Q5890058) (← links)