1 - 10 out of 119Page size: 10
  1. 2025

  2. On Weakly Coholographic Structures

    Bazhenov, N. A., Kasymkhanuly, B. & Morozov, A. S., 2 Jun 2025, In: Siberian Mathematical Journal. 66, 3, p. 641-649 9 p.

    Research output: Contribution to journal › Article › peer-review

  3. The NP-completeness of the Consistency Problem for Systems of Diophantine Equations over Finite Configurations

    Kogabaev, N. T., 2 Jun 2025, In: Siberian Mathematical Journal. 66, 3, p. 702-714 13 p.

    Research output: Contribution to journal › Article › peer-review

  4. Decidable Models of Ehrenfeucht Theories

    Alaev, P. E. & Khlestova, E. I., 5 May 2025, In: Algebra and Logic.

    Research output: Contribution to journal › Article › peer-review

  5. Isomorphism of Atomless Boolean Algebras with Distinguished Ideals

    Goncharov, S. S. & Xiang, J., 29 Apr 2025, In: Algebra and Logic.

    Research output: Contribution to journal › Article › peer-review

  6. Электронно-вычислительное устройство для обнаружения дефектов городской инфраструктуры и принятия решения по их устранению

    Андреев, А. В. & Нечесов, А. В., 13 Feb 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 231858, 2 Oct 2024, Priority date 2 Oct 2024, Priority No. 2024129480

    Research output: Patent › Patent for utility model

  7. 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

    Research output: Contribution to journal › Article › peer-review

  8. Датасет по ретроконверсии библиотечных карточек (строительство)

    Белоглазов, Д. М. & Павловский, Е., 17 Jan 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2025620303, 17 Dec 2024, Priority date 17 Dec 2024, Priority No. 2024626458

    Research output: Patent › Database registration

  9. Фреймворк «Каппа»: управление датасетами, версия 1.0.0

    Кумар, Р., Павловский, Е., Денисов, С. С., Иванков, П. С. & Мищенко, А. С., 16 Jan 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2025611211, 18 Dec 2024, Priority date 18 Dec 2024, Priority No. 2024692636

    Research output: Patent › Software registration

  10. Датасет по наблюдениям за флорой и фауной в городской среде

    Гичгелдиева, М. О., Кумар, Р. & Павловский, Е., 10 Jan 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2025620139, 17 Dec 2024, Priority date 17 Dec 2024, Priority No. 2024626457

    Research output: Patent › Database registration

  11. 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, 103491.

    Research output: Contribution to journal › Article › peer-review

Previous 1 2 3 4 5 6 7 8 ...12 Next

ID: 3083576