The following pages link to (Q3350764):
Displaying 8 items.
- An equational axiomatization of systolic systems (Q1122990) (← 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)
- (Q3702515) (← links)
- (Q3725522) (← links)
- Partial flowchart schemes (Q3979473) (← links)
- (Q5751953) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898168) (← links)