TY  - JOUR
AU  - A. L. Semenov
AU  - M. A. Babenko
AU  - A. Ya. Belov
AU  - N. K. Vereshchagin
AU  - M. E. Vishnikin
AU  - E. E. Zolin
AU  - V. N. Krupski
AU  - S. L. Kuznetsov
AU  - V. A. Lyubetskii
AU  - A. A. Onoprienko
AU  - M. R. Pentus
AU  - S. F. Soprunov
AU  - A. A. Sorokin
AU  - V. B. Shehtman
AU  - T. L. Yavorskaya
TI  - Chair of Mathematical Logic and Theory of Algorithms
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 2025
SP  - 23
EP  - 32
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMUMM_2025_1_a3/
LA  - ru
ID  - VMUMM_2025_1_a3
ER  -