1. Bounded Reducibility for Computable Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 1 янв. 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (ред.). Springer-Verlag GmbH and Co. KG, стр. 96-107 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11558 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  2. Brain Principles Programming

    Vityaev, E., Kolonin, A., Kurpatov, A. & Molchanov, A., 2022, в: Doklady Mathematics. 106, стр. S101-S112

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. 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, стр. 424-433 10 стр. 41. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13539 LNAI).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаяРецензирование

  4. Categoricity Spectra for Polymodal Algebras

    Bazhenov, N., 1 дек. 2016, в: Studia Logica. 104, 6, стр. 1083-1097 15 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  5. Categoricity Spectra of Computable Structures

    Bazhenov, N. A., июл. 2021, в: Journal of Mathematical Sciences (United States). 256, 1, стр. 34-50 17 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  6. Centroid Hom-associative Algebras and Centroid Hom-Lie Algebras

    Bai, Y. X., Bokut, L. A., Chen, Y. Q. & Zhang, Z. R., 2023, в: Acta Mathematica Sinica, English Series. 27 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  7. Classifying equivalence relations in the Ershov hierarchy

    Bazhenov, N., Mustafa, M., San Mauro, L., Sorbi, A. & Yamaleev, M., 1 нояб. 2020, в: Archive for Mathematical Logic. 59, 7-8, стр. 835-864 30 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  8. Clinical aspects of TP53 gene inactivation in diffuse large B-cell lymphoma

    Voropaeva, E. N., Pospelova, T. I., Voevoda, M. I., Maksimov, V. N., Orlov, Y. L. & Seregina, O. B., 13 мар. 2019, в: BMC Medical Genomics. 12, Suppl 2, стр. 35 10 стр., 35.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  9. Complexity for partial computable functions over computable Polish spaces

    Korovina, M. & Kudinov, O., 1 мар. 2018, в: Mathematical Structures in Computer Science. 28, 3, стр. 429-447 19 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  10. Complexity of the Isomorphism Problem for Computable Free Projective Planes of Finite Rank

    Kogabaev, N. T., 1 мар. 2018, в: Siberian Mathematical Journal. 59, 2, стр. 295-308 14 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

ID: 3082806