Publications in Math-Net.Ru
-
A formal model of data structures and abstract algorithms for multi-processor computer systems
Avtomat. i Telemekh., 1984, no. 1, 146–154
-
A method for comparison of options for location of data in the memory of a multi-processor computing system
Avtomat. i Telemekh., 1982, no. 9, 150–162
-
Algebraic models of computing machines
Uspekhi Mat. Nauk, 27:3(165) (1972), 79–125
-
On the existence of nonisomorphic nilpotent decompositions of nilpotent torsion-free groups
Mat. Sb. (N.S.), 75(117):1 (1968), 152–162
© , 2024