The following pages link to (Q4174249):
Displayed 4 items.
- Formalized analysis of complex systems. I (Q1816302) (← links)
- Functional completeness criteria in Dijkstra algebra (Q1922339) (← links)
- Multilevel synthesis of structured programs (Q3217580) (← links)
- Solvability of equivalence problems in a system of algorithmic algebras (Q3698304) (← links)