Molchanov Andrei Erikovich

Publications in Math-Net.Ru

1. A solution to the equivalent transformation problem in a class of primitive program schemes
   
   Proceedings of ISP RAS, 27:2 (2015),  173–188
2. Equivalence Problem Solvability in Biparametric Gateway Program Models
   
   Model. Anal. Inform. Sist., 21:4 (2014),  104–115
3. Equivalence Problem Solvability in Gateway Program Models
   
   Model. Anal. Inform. Sist., 21:2 (2014),  56–70
4. About Algebraic Program Models with Procedures
   
   Model. Anal. Inform. Sist., 19:5 (2012),  100–114