A. L. Semenov, “Mappings Preserving Relations Definable by Linear Order”, Moscow Univ. Math. Bull., 75, № 5, 2020, 222
Aleksei Lvovich Semenov, Sergei Fedorovich Soprunov, “Решетка определимости (редуктов) для целых чисел с операцией следования”, Известия Российской академии наук. Серия математическая, 85, № 6, 2021, 245
Andrei Albertovich Muchnik, Aleksei Lvovich Semenov, “Решетка определимости в порядке рациональных чисел”, Математические заметки, 108, № 1, 2020, 102
A. L. Semenov, S. F. Soprunov, “Lattice of definability (of reducts) for integers with successor”, Izv. Math., 85, № 6, 2021, 1257
Aleksej L. Semenov, Igor Yu. Grishin, Nadezhda I. Gallini, Rena R. Timirgaleeva, 2024 XXVII International Conference on Soft Computing and Measurements (SCM), 2024, 186
Aleksej L. Semenov, Igor Yu. Grishin, Nadezhda I. Gallini, Rena R. Timirgaleeva, 2024 XXVII International Conference on Soft Computing and Measurements (SCM), 2024, 186
A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetsky, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shekhtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Moscow Univ. Math. Bull., 80, № 1, 2025, 23