1. 2025
  2. The Existence of Primitive Recursive Structures

    Alaev, P. E., 20 Jun 2025, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. Vol. 15764. p. 119-132 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  3. 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 journalArticlepeer-review

  4. 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 journalArticlepeer-review

  5. Decidable Models of Ehrenfeucht Theories

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

    Research output: Contribution to journalArticlepeer-review

  6. Isomorphism of Atomless Boolean Algebras with Distinguished Ideals

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: PatentPatent for utility model

  8. 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 journalArticlepeer-review

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

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

    Research output: PatentDatabase registration

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

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

    Research output: PatentSoftware registration

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

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

    Research output: PatentDatabase registration

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

ID: 3083576