-
E. Ramm, E. Woronowicz
A computerized system of proving properties of programs
Prace IPI PAN vol. 403, Polska Akademia Nauk, Warsaw, Poland, 1980.
-
K. G. Valeev, K. R. Yanglyaeva
Conditions for the existence of a limit family of solutions a system of difference equations
Some problems on the qualitative theory of differential equations and theory of the control of motion, Mordovia State University, 1980, pp. 5-12.
-
K. G. Valeev, K. R. Yanglyaeva
Reduction of approximations methods of numerical integration of linear differential equations to Euler's method
Control, reliability and navigation, Mordovia State University, 1980, pp. 33-38.
-
K. R. Yanglyaeva
On the asymptotic character of an integral manifold of solutions of a system difference equations
Ukr.NIINTI preprint no. 1695, Kiev, 1980.