11 - 20 из 48Размер страницы: 10
Сортировать по:: Год публикации
  1. 2018

  2. On Dark Computably Enumerable Equivalence Relations

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 янв. 2018, в: Siberian Mathematical Journal. 59, 1, стр. 22-30 9 стр.

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

  3. Autostability spectra for decidable structures

    Bazhenov, N., 1 мар. 2018, в: Mathematical Structures in Computer Science. 28, 3, стр. 392-411 20 стр.

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

  4. Degrees of categoricity and spectral dimension

    Bazhenov, N. A., Kalimullin, I. S. H. & Yamaleev, M. M., 1 мар. 2018, в: Journal of Symbolic Logic. 83, 1, стр. 103-116 14 стр.

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

  5. Degrees of Autostability for Prime Boolean Algebras

    Bazhenov, N. A. & Marchuk, M. I., 1 июн. 2018, в: Algebra and Logic. 57, 2, стр. 98-114 17 стр.

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

  6. Degrees of Autostability Relative to Strong Constructivizations of Graphs

    Bazhenov, N. A. & Marchuk, M. I., 1 июл. 2018, в: Siberian Mathematical Journal. 59, 4, стр. 565-577 13 стр.

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

  7. Computable Bi-Embeddable Categoricity

    Bazhenov, N. A., Fokina, E. B., Rossegger, D. & San Mauro, L., 1 нояб. 2018, в: Algebra and Logic. 57, 5, стр. 392-396 5 стр.

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

  8. 2019

  9. Построение разрешимых графов по разрешимым структурам

    Баженов, Н. А. & Harrison-Trainor, M., 2019, в: Алгебра и логика. 58, 5, стр. 553-573 21 стр.

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

  10. 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, стр. 96-107 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11558 LNCS).

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

  11. Computable Contact Algebras

    Bazhenov, N., 1 янв. 2019, в: Fundamenta Informaticae. 167, 4, стр. 257-269 13 стр.

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

  12. Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 янв. 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (ред.). Springer, стр. 28-41 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11436 LNCS).

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

Назад 1 2 3 4 5 Далее

ID: 3440851