Studies in the theory of algebraic models of programs with procedures von Podlovchenko, R. I.

Volltext

Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models von Podlovchenko, R. I.

Volltext

On a class of algebraic models of programs of practical interest von Podlovchenko, R. I.

Volltext

Primitive Program Schemes with Procedures von Podlovchenko, R. I.

Volltext

On an equivalence checking technique for algebraic models of programs von Podlovchenko, R. I.

Volltext

On the polynomial complexity of the equivalence checking problem in algebraic models of programs von Podlovchenko, R. I.

Volltext

About Algebraic Program Models with Procedures von Podlovchenko, R. I., Molchanov, A. E.

Volltext

Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation von Podlovchenko, R. I.

Volltext

Technique of traces in solving the equivalence problem in algebraic program models von Podlovchenko, R. I.

Volltext

Equivalence Problem Solvability in Gateway Program Models von Podlovchenko, R. I., Molchanov, A. E.

Volltext

On Program Schemes with Commuting and Monotone Operators von Podlovchenko, R. I

Volltext

Minimization problem for schemes of program with commutative blocks von Podlovchenko, R. I.

Volltext

Finite state automata in the theory of algebraic program schemata von Podlovchenko, R.I.

Volltext

Program Schemes with Constants von Podlovchenko, R. I., Rusakov, D. M.

Volltext

Equivalent Transformations of Program Schemes for “Entangling” Programs von Podlovchenko, R. I

Volltext

Automaton semigroup models of programs von Podlovchenko, R. I.

Volltext

A New Approach to Solving Equivalence Problem von Podlovchenko, R. I., Khachatryan, V. E.

Volltext

On a general solution to the problem of equivalent transformations of program schemes von Podlovchenko, R. I.

Volltext

On a general solution to the problem of equivalent transformations of program schemes (II) von Podlovchenko, R. I.

Volltext

Primitive program schemata with procedures von Podlovchenko, R. I.

Volltext