The following pages link to R. I. Podlovchenko (Q174222):
Displaying 50 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)
- Using algebraic models of programs for detecting metamorphic malwares (Q549466) (← links)
- A new approach to solving equivalence problem (Q557497) (← links)
- Minimization problem for program schemes with commutative blocks (Q840035) (← 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)
- Investigating s-model programs for the purpose of reducing them to canonical form (Q1083840) (← links)
- The problem of equivalence in commutative s-models for programs (Q1111006) (← links)
- The functional equivalence of programs and its modeling (Q1132547) (← links)
- A hierarchy of program models (Q1157146) (← links)
- Semigroup program models (Q1162805) (← links)
- Program models over a structured basis (Q1169278) (← links)
- Program schemata with monotone operators (Q1183753) (← links)
- Decidability of equivalence in the set of program schema with monotonic and partially commutative operators (Q1183814) (← links)
- Transformation of schemas for recursive programs into equivalent free schemas (Q1272050) (← links)
- On the construction of complete systems of equivalent transformations of program schemes (Q1276514) (← links)
- Scheme canonical forms and their construction in special automaton models of recursive programs (Q1276532) (← links)
- Regular models of programs (Q1337926) (← links)
- Equivalent transformations of program schemes for ``Entangling'' programs (Q1403233) (← links)
- Equivalent transformations in the model of programs with commuting and monotone operators (Q1403259) (← links)
- Complete system of equivalent transformations for two-tape automata with disjoint loops (Q1592077) (← links)
- A polynomial-time algorithm that recognizes the commutative equivalence of program schemata (Q1594177) (← links)
- Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation (Q1758669) (← links)
- On an equivalence checking technique for algebraic models of programs (Q1758688) (← links)
- Reflections on the phenomenon of Aleksej Andreevich Lyapunov (Q1817095) (← links)
- Recursive programs and the hierarchy of their models (Q1817112) (← 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)
- Automaton semigroup models of programs (Q2371659) (← links)
- Program schemes with constants (Q2432964) (← links)
- On the polynomial complexity of the equivalence checking problem in algebraic models of programs (Q2452734) (← links)
- On program schemes with commuting and monotone operators (Q2487105) (← links)
- (Q3043794) (← links)
- (Q3048205) (← links)
- (Q3049798) (← links)
- A complete solution of the minimisation problem for a set of binary two-tape automata (Q3057822) (← links)
- (Q3063993) (← links)
- Minimality and deadlockness of multitape automata (Q3184541) (← links)
- (Q3262543) (← links)
- (Q3286653) (← links)
- (Q3860818) (← links)
- Models of sequential programs used to study functional equivalence of programs (Q3890090) (← links)
- (Q3969856) (← links)
- (Q4053626) (← links)
- (Q4057568) (← links)
- (Q4069792) (← links)
- (Q4082278) (← links)
- (Q4085225) (← links)
- (Q4403716) (← links)
