Pages that link to "Item:Q1403259"

The following pages link to Equivalent transformations in the model of programs with commuting and monotone operators (Q1403259):

Displaying 10 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)
• Program transformation by solving equations (Q756436) (← links)
• The problem of equivalence in commutative s-models for programs (Q1111006) (← links)
• Program schemata with monotone operators (Q1183753) (← links)
• On the construction of complete systems of equivalent transformations of program schemes (Q1276514) (← links)
• Equivalent transformations of program schemes for ``Entangling'' programs (Q1403233) (← links)
• Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation (Q1758669) (← links)
• Recursive programs and the hierarchy of their models (Q1817112) (← links)
• Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models (Q2017779) (← links)