Pages that link to "Item:Q2265794"
From MaRDI portal
The following pages link to A generalized mathematical theory of structured programming (Q2265794):
Displaying 9 items.
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- The gamma model and its discipline of programming (Q751838) (← links)
- Program structures: Some new characterisations (Q1186551) (← links)
- A heuristic for finding embedded network structure in mathematical programmes (Q1261396) (← links)
- Dijkstra graphs (Q2414453) (← links)
- (Q3757389) (← links)
- (Q3997545) (← links)
- (Q5167100) (← links)
- Program correctness and matricial iteration theories (Q6171779) (← links)