dblp.uni-trier.dewww.uni-trier.de

Rimma I. Podlovchenko

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
12EERimma I. Podlovchenko, Dmitry M. Rusakov: Inclusion problem in algebraic models of programs with constants. Programming and Computer Software 33(3): 121-131 (2007)
2006
11EERimma I. Podlovchenko: Automaton semigroup models of programs. Programming and Computer Software 32(6): 301-307 (2006)
2005
10EERimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov: On the Equivalence Problem for Programs with Mode Switching. CIAA 2005: 351-352
9EERimma I. Podlovchenko, Dmitry M. Rusakov: Program Schemes with Constants. Programming and Computer Software 31(3): 113-122 (2005)
2004
8EERimma I. Podlovchenko, V. E. Khachatryan: A New Approach to Solving Equivalence Problem. Programming and Computer Software 30(3): 121-133 (2004)
2003
7EERimma I. Podlovchenko: On Program Schemes with Commuting and Monotone Operators. Programming and Computer Software 29(5): 270-276 (2003)
2002
6EERimma I. Podlovchenko: Equivalent Transformations of Program Schemes for "Entangling" Programs. Programming and Computer Software 28(2): 106-116 (2002)
5EERimma I. Podlovchenko: Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators. Programming and Computer Software 28(6): 301-313 (2002)
2001
4EERimma I. Podlovchenko: A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts. Ershov Memorial Conference 2001: 8-23
1979
3 Rimma I. Podlovchenko: Simulating in research of functional equivalence of programs (on structure and problematics of program schemas' theory). FCT 1979: 349-354
1975
2 Rimma I. Podlovchenko: On Correctness and Essentiality of Some Ianov Schemas Equivalence Relations. MFCS 1975: 351-357
1972
1 Rimma I. Podlovchenko: Non- determined algorithm schemata or R- schemata. International Sympoisum on Theoretical Programming 1972: 86-110

Coauthor Index

1V. E. Khachatryan [8]
2Dmitry M. Rusakov [9] [10] [12]
3Vladimir A. Zakharov [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)