1. 2025
  2. On Presentations of the Addition over the Reals

    Morozov, A. S., Apr 2025, In: Lobachevskii Journal of Mathematics. 46, 4, p. 1892-1903 12 p., 33.

    Research output: Contribution to journalArticlepeer-review

  3. Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics

    Penzina, U. & Stukachev, A., 11 Mar 2025, Lecture Notes in Networks and Systems. Springer, p. 123-132 10 p. (Lecture Notes in Networks and Systems; vol. 1198 LNNS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  4. Permutation Groups and Ideals of Turing Degrees

    Morozov, A. S., Puzarenko, V. G. & Faizrakhmanov, M. K., 22 Jan 2025, In: Algebra and Logic. 63, 2, p. 141-152 12 p.

    Research output: Contribution to journalArticlepeer-review

  5. Computably and punctually universal spaces

    Bagaviev, R., Batyrshin, I. I., Bazhenov, N., Bushtets, D., Dorzhieva, M., Koh, H. T., Kornev, R., Melnikov, A. G. & Ng, K. M., Jan 2025, In: Annals of Pure and Applied Logic. 176, 1, 31 p., 103491.

    Research output: Contribution to journalArticlepeer-review

  6. Mappings with Coenumerable Graphs

    Morozov, A. S., Jan 2025, In: Algebra and Logic. 63, 6, p. 448-457 10 p.

    Research output: Contribution to journalArticlepeer-review

  7. NP-полнота проблемы совместности систем диофантовых уравнений над конечными конфигурациями

    Когабаев, Н. Т., 2025, In: Сибирский математический журнал. 66, 3 (391), p. 450-464

    Research output: Contribution to journalArticlepeer-review

  8. Task-Based Approach to Digital Transformations

    Vityaev, E. E., Sviridenko, D. I. & Rofe, A. R., 2025, In: Bulletin of Irkutsk State University, Series Mathematics. 54, p. 78-95 18 p., 6.

    Research output: Contribution to journalArticlepeer-review

  9. The Task-Based Approach: A New Paradigm for Building Trustworthy Artificial Intelligence

    Nechesov, A. V., Vityaev, E. E., Goncharov, S. S. & Sviridenko, D. I., 2025, In: Bulletin of Irkutsk State University, Series Mathematics. 54, p. 96-112 17 p., 7.

    Research output: Contribution to journalArticlepeer-review

  10. Иерархическая классификация научных статей при помощи глубокого обучения (на примере иерархии УДК)

    Mamedov, V. Y., Kovalevsky, D. A., Morozov, D., Stolyarov, S. S. & Ospichev, S. S., 2025, In: Modeling and Analysis of Information Systems. 32, 1, p. 80-94 15 p., 6.

    Research output: Contribution to journalArticlepeer-review

  11. О слабо коголографичных структурах

    Баженов, Н. А., Касымканулы, Б. & Морозов, А. С., 2025, In: Сибирский математический журнал. 66, 3 (391), p. 378-388

    Research output: Contribution to journalArticlepeer-review

ID: 60174705