Pages that link to "Item:Q789162"
From MaRDI portal
The following pages link to Algebraic characterization of reducible flowcharts (Q789162):
Displaying 6 items.
- Necessary and sufficient conditions for the universality of programming formalisms (Q801666) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- Algorithms for symbolic reduction of signal flow graphs. (Q1565854) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- (Q3725522) (← links)
- Graph expressions and graph rewritings (Q3782818) (← links)