Pages that link to "Item:Q300376"
From MaRDI portal
The following pages link to Studies in the theory of algebraic models of programs with procedures (Q300376):
Displaying 7 items.
- On a class of algebraic models of programs of practical interest (Q395268) (← links)
- Technique of traces in solving the equivalence problem in algebraic program models (Q844347) (← links)
- Inclusion problem in algebraic models of programs with constants (Q926618) (← links)
- Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation (Q1758669) (← links)
- Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models (Q2017779) (← links)
- Algebras of stepping motor programs (Q2898508) (← links)
- (Q3063993) (← links)