Pages that link to "Item:Q1254851"
From MaRDI portal
The following pages link to A semantically meaningful characterization of reducible flowchart schemes (Q1254851):
Displaying 9 items.
- Calvin C. Elgot (1922-1980) (Q788706) (← links)
- Algebraic characterization of reducible flowcharts (Q789162) (← links)
- Continuation semantics for flowgraph equations (Q1080651) (← links)
- In memoriam Calvin C. Elgot (Q1154455) (← links)
- More on advice on structuring compilers and proving them correct (Q1156472) (← links)
- Graph theoretic characterization of G-schemes and T L-schemes (Q1159978) (← links)
- An algebraic model of synchronous systems (Q1186811) (← links)
- Algebraic and graph theoretic characterizations of structured flowchart schemes (Q1257333) (← links)
- A generalized mathematical theory of structured programming (Q2265794) (← links)
