Pages that link to "Item:Q795496"
From MaRDI portal
The following pages link to An algebraic approach to schemes of structured programs (Q795496):
Displaying 15 items.
- Studies in the theory of algebraic models of programs with procedures (Q300376) (← links)
- On a class of algebraic models of programs of practical interest (Q395268) (← links)
- Weak equivalence in a class of structured program schemes (Q797988) (← links)
- Formal aspects of structured programming with goto statements (Q800711) (← links)
- An algorithm deciding functional equivalence in a new class of program schemes (Q912596) (← links)
- On the construction of complete systems of equivalent transformations of program schemes (Q1276514) (← links)
- A polynomial-time algorithm that recognizes the commutative equivalence of program schemata (Q1594177) (← links)
- Algebra of algorithms and Kaluzhnin's graph-schemas (Q1905123) (← links)
- Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models (Q2017779) (← links)
- Program schemes with constants (Q2432964) (← links)
- (Q3339253) (← links)
- (Q3709858) (← links)
- (Q3809233) (← links)
- (Q4934619) (← links)
- Completeness of a relational calculus for program schemes (Q5940932) (← links)