The following pages link to (Q3725522):
Displaying 13 items.
- Algebraic characterization of reducible flowcharts (Q789162) (← links)
- Deterministic and nondeterministic flowchart interpretations (Q796975) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- On flowchart theories. II: The nondeterministic case (Q1101203) (← links)
- Classes of finite relations as initial abstract data types. I (Q1179266) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- Axiomatizing schemes and their behaviors (Q1819574) (← links)
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
- (Q3347255) (← links)
- (Q3350764) (← links)
- (Q3702515) (← links)
- (Q4327835) (← links)
- (Q5753938) (← links)
