1. 2017
  2. Spectrum of the Field of Computable Real Numbers

    Korovina, M. V. & Kudinov, O. V., 1 янв. 2017, в: Algebra and Logic. 55, 6, стр. 485-500 16 стр.

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

  3. The index set of the groups autostable relative to strong constructivizations

    Goncharov, S. S., Bazhenov, N. A. & Marchuk, M. I., 1 янв. 2017, в: Siberian Mathematical Journal. 58, 1, стр. 72-77 6 стр.

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

  4. Turing computable embeddings, computable infinitary equivalence, and linear orders

    Bazhenov, N., 1 янв. 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (ред.). Springer-Verlag GmbH and Co. KG, Том 10307 LNCS. стр. 141-151 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10307 LNCS).

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

  5. Boolean algebras realized by c.e. equivalence relations

    Bazhenov, N., Mustafa, M., Stephan, F. & Yamaleev, M., 2017, в: Сибирские электронные математические известия. 14, стр. 848-855 8 стр.

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

  6. Computing solution operators of boundary-value problems for some linear hyperbolic systems of pdes

    Selivanova, S. & Selivanov, V., 2017, в: Logical Methods in Computer Science. 13, 4, 13.

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

  7. 2016
  8. Categoricity Spectra for Polymodal Algebras

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

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

  9. Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings

    Ospichev, S. S., 1 июн. 2016, в: Journal of Mathematical Sciences (United States). 215, 4, стр. 529-536 8 стр.

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

  10. Recovering noisy contexts with probabilistic formal concepts?

    Martynovich, V. V. & Vityaev, E. E., 2016, в: CEUR Workshop Proceedings. 1687, стр. 24-35 12 стр.

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

  11. 2015
  12. Adaptive control system for a mobile agent in a physical environment based on functional systems theory

    Putintsev, N. I., Isupov, O. V. & Vityaev, E. E., 1 нояб. 2015, в: Russian Journal of Genetics: Applied Research. 5, 6, стр. 601-608 8 стр.

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

  13. Development of artificial cognitive systems based on models of the brain of living organisms

    Putintsev, N. I., Vishnevsky, O. V. & Vityaev, E. E., 1 нояб. 2015, в: Russian Journal of Genetics: Applied Research. 5, 6, стр. 589-600 12 стр.

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

ID: 3082806