Pages that link to "Item:Q2017779"
From MaRDI portal
The following pages link to Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models (Q2017779):
Displaying 6 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)
- Inclusion problem in algebraic models of programs with constants (Q926618) (← links)
- Structural models of algorithms in problems of applied programming. II: Structural-algorithmic approach to software simulation (Q1040419) (← links)
- On the construction of complete systems of equivalent transformations of program schemes (Q1276514) (← links)
- Equivalent transformations in the model of programs with commuting and monotone operators (Q1403259) (← links)