Rimma I. Podlovchenko - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2016

Studies in the theory of algebraic models of programs with proceduresRimma I. Podlovchenko. pcs, 42(1):1-4, 2016. [doi]

2014

Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter modelsRimma I. Podlovchenko. pcs, 40(3):107-116, 2014. [doi]

Equivalence problem solvability in gateway program modelsRimma I. Podlovchenko, A. E. Molchanov. accs, 48(7):581-588, 2014. [doi]

Primitive program schemata with proceduresRimma I. Podlovchenko. accs, 48(7):615-622, 2014. [doi]

2013

On a class of algebraic models of programs of practical interestRimma I. Podlovchenko. pcs, 39(3):124-134, 2013. [doi]

About algebraic program models with proceduresRimma I. Podlovchenko, A. E. Molchanov. accs, 47(7):385-392, 2013. [doi]

2011

On an equivalence checking technique for algebraic models of programsRimma I. Podlovchenko. pcs, 37(6):292-298, 2011. [doi]

2010

Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellationRimma I. Podlovchenko. pcs, 36(3):125-137, 2010. [doi]

2008

Minimization problem for schemes of program with commutative blocksRimma I. Podlovchenko. pcs, 34(4):237-241, 2008. [doi]

2007

Inclusion problem in algebraic models of programs with constantsRimma I. Podlovchenko, Dmitry M. Rusakov. pcs, 33(3):121-131, 2007. [doi]

2006

Automaton semigroup models of programsRimma I. Podlovchenko. pcs, 32(6):301-307, 2006. [doi]

2005

Program Schemes with ConstantsRimma I. Podlovchenko, Dmitry M. Rusakov. pcs, 31(3):113-122, 2005. [doi]

On the Equivalence Problem for Programs with Mode SwitchingRimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov. wia 2006: 351-352 [doi]

2004

A New Approach to Solving Equivalence ProblemRimma I. Podlovchenko, V. E. Khachatryan. pcs, 30(3):121-133, 2004. [doi]

2003

On Program Schemes with Commuting and Monotone OperatorsRimma I. Podlovchenko. pcs, 29(5):270-276, 2003. [doi]

2002

Equivalent Transformations of Program Schemes for Entangling ProgramsRimma I. Podlovchenko. pcs, 28(2):106-116, 2002. [doi]

Equivalent Transformations in the Model of Programs with Commuting and Monotone OperatorsRimma I. Podlovchenko. pcs, 28(6):301-313, 2002. [doi]

2001

A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic ConceptsRimma I. Podlovchenko. ershov 2001: 8-23 [doi]

2000

On a general solution to the problem of equivalent transformations of program schemesRimma I. Podlovchenko. pcs, 26(1):44-52, 2000. [doi]

On a general solution to the problem of equivalent transformations of program schemes (II)Rimma I. Podlovchenko. pcs, 26(2):53-60, 2000. [doi]

Complete system of equivalent transformations for two-tape automata with disjoint loopsRimma I. Podlovchenko, V. E. Khachatryan, Yu. G. Chashin. pcs, 26(5):237-248, 2000. [doi]

1979

Simulating in research of functional equivalence of programs (on structure and problematics of program schemas theory)Rimma I. Podlovchenko. fct 1979: 349-354

1975

On Correctness and Essentiality of Some Ianov Schemas Equivalence RelationsRimma I. Podlovchenko. mfcs 1975: 351-357

1972

Non- determined algorithm schemata or R- schemataRimma I. Podlovchenko. ershov 1974: 86-110

Sign in or sign up to see more results.

runs on WebDSL