Pages that link to "Item:Q395268"

The following pages link to On a class of algebraic models of programs of practical interest (Q395268):

Displaying 13 items.

• Studies in the theory of algebraic models of programs with procedures (Q300376) (← links)
• An algebraic approach to schemes of structured programs (Q795496) (← 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)
• Efficient algorithms for checking the equivalence of programs in interrupt handling models (Q949234) (← links)
• Structural models of algorithms in problems of applied programming. II: Structural-algorithmic approach to software simulation (Q1040419) (← links)
• On an equivalence checking technique for algebraic models of programs (Q1758688) (← links)
• Approximability of some program models by others (Q1858999) (← links)
• Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models (Q2017779) (← links)
• On the polynomial complexity of the equivalence checking problem in algebraic models of programs (Q2452734) (← links)
• Algebras of stepping motor programs (Q2898508) (← links)
• (Q3063993) (← links)
• (Q3707369) (← links)