1. 2023
  2. Brain Principles Programming

    Vityaev, E., Kolonin, A., Kurpatov, A. & Molchanov, A., 2023, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 424-433 10 p. 41. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13539 LNAI).

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

  3. Generalized Computable Models and Montague Semantics

    Burnistov, A. & Stukachev, A., 2023, Studies in Computational Intelligence. Springer Science and Business Media Deutschland GmbH, p. 107-124 18 p. 5. (Studies in Computational Intelligence; vol. 1081).

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

  4. Gröbner–Shirshov basis theory and word problems for metatrivial Poisson algebras

    Bokut, L. A., Chen, Y. & Zhang, Z., 2023, In: Sao Paulo Journal of Mathematical Sciences. 29 p.

    Research output: Contribution to journalArticlepeer-review

  5. Profinite Locally Finite Quasivarieties

    Nurakunov, A. M. & Schwidefsky, M. V., 2023, In: Studia Logica. 25 p.

    Research output: Contribution to journalArticlepeer-review

  6. Quasivariety generated by the suborder lattice. I. Equational bases

    Kadyrova, O. A. & Schwidefsky, M. V., 2023, In: Siberian Electronic Mathematical Reports. 20, 1, p. 62-71 10 p.

    Research output: Contribution to journalArticlepeer-review

  7. The complexity of quasivariety lattices. II

    Schwidefsky, M. V., 2023, In: Siberian Electronic Mathematical Reports. 20, 1, p. 501-513 13 p.

    Research output: Contribution to journalArticlepeer-review

  8. Families of Permutations and Ideals of Turing Degrees

    Morozov, A. S., Puzarenko, V. G. & Faizrachmanov, M. K., Jan 2023, In: Algebra and Logic. 61, 6, p. 481-490 10 p.

    Research output: Contribution to journalArticlepeer-review

  9. Research Topics of the Bioinformatics of Gene Regulation

    Orlov, Y. L., Anashkina, A. A., Kumeiko, V. V., Chen, M. & Kolchanov, N. A., 15 May 2023, In: International Journal of Molecular Sciences. 24, 10, 8774.

    Research output: Contribution to journalArticlepeer-review

  10. Decompositions in Semirings

    Batueva, T. C. D. & Schwidefsky, M. V., Jul 2023, In: Siberian Mathematical Journal. 64, 4, p. 836-846 11 p.

    Research output: Contribution to journalArticlepeer-review

  11. Lower Semilattices of Separable Congruences of Numbered Algebras

    Kasymov, N. K. & Morozov, A. S., Jul 2023, In: Siberian Mathematical Journal. 64, 4, p. 864-876 13 p.

    Research output: Contribution to journalArticlepeer-review

ID: 3082806