The following pages link to (Q3702515):
Displaying 8 items.
- Weak equivalence in a class of structured program schemes (Q797988) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← links)
- An equational axiomatization of systolic systems (Q1122990) (← links)
- Classes of finite relations as initial abstract data types. I (Q1179266) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Axiomatizing schemes and their behaviors (Q1819574) (← links)
- (Q5751953) (← links)
