( en | de | ru )

 

Disambiguation of "Podlovchenko, Rimma I."

Author of the publication

copydeleteadd this publication to your clipboard
On the Equivalence Problem for Programs with Mode Switching.

, , and . CIAA, volume 3845 of Lecture Notes in Computer Science, page 351-352. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rimma Aliyev

Jörk Rimmasch

Rimma Ilyasova

Rimma Kanevski

Rimma Libanova

 

Other publications of authors with the same name

Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation.. Program. Comput. Softw., 36 (3): 125-137 (2010)Studies in the theory of algebraic models of programs with procedures.. Program. Comput. Softw., 42 (1): 1-4 (2016)On Correctness and Essentiality of Some Ianov Schemas Equivalence Relations.. MFCS, volume 32 of Lecture Notes in Computer Science, page 351-357. Springer, (1975)On the Equivalence Problem for Programs with Mode Switching., , and . CIAA, volume 3845 of Lecture Notes in Computer Science, page 351-352. Springer, (2005)Simulating in research of functional equivalence of programs (on structure and problematics of program schemas' theory).. FCT, page 349-354. Akademie-Verlag, Berlin, (1979)Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators.. Program. Comput. Softw., 28 (6): 301-313 (2002)Program Schemes with Constants., and . Program. Comput. Softw., 31 (3): 113-122 (2005)On a general solution to the problem of equivalent transformations of program schemes (II).. Program. Comput. Softw., 26 (2): 53-60 (2000)On a general solution to the problem of equivalent transformations of program schemes.. Program. Comput. Softw., 26 (1): 44-52 (2000)About algebraic program models with procedures., and . Automatic Control and Computer Sciences, 47 (7): 385-392 (2013)