Journal: Programming and Computer Software

Volume 30, Issue 3

121 -- 133Rimma I. Podlovchenko, V. E. Khachatryan. A New Approach to Solving Equivalence Problem
134 -- 141O. N. Malykh, Yu. S. Shakhnovskii. Optimization of a Data Dependence Graph for the Local Microcode Compaction Problem. Part 2: Algorithms and Experimental Verification
141 -- 149A. I. Ovchinnikov. Characterizable Radical Differential Ideals and Some Properties of Characteristic Sets
150 -- 156S. L. Skorokhodov. Symbolic Transformations in the Problem of Analytic Continuation of the Hypergeometric Function pFp-1(z) to the Neighborhood of the Point z = 1 in the Logarithmic Case
157 -- 163Vladimir V. Kornyak. A Modular Algorithm for Computing Cohomologies of Lie Algebras and Superalgebras
164 -- 172F. Clauss, I. Yu. Chupaeva. Application of Symbolic Approach to the Bernstein Expansion for Program Analysis and Optimization
173 -- 179A. M. Gorelik. Object-Oriented Programming in Modern Fortran