Chair of mathematical logic and theory of algorithms.
Moscow University Mathematics Bulletin, Feb 2025, Vol. 80, No. 1, P. 23–33.
DOI: 10.3103/S0027132225700196
Go to publication
| Authors: Semenov A., Babenko M., Belov A., Vereschagin N., Vishnikin M., Zolin E., Krupsky V., Kuznetsov S., Lyubetsky V., Onoprienko A., Pentus M., Soprunov S., Sorokin A., Shehtman V., Yavorskaya T. |