31 - 40 из 48Размер страницы: 10
Сортировать по:: Заголовок

  1. Decompositions of decidable abelian groups

    Bazhenov, N., Goncharov, S. & Melnikov, A., 1 февр. 2020, в: International Journal of Algebra and Computation. 30, 1, стр. 49-90 42 стр.

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

  2. Decidable Categoricity Spectra for Almost Prime Models

    Bazhenov, N. A. & Marchuk, M. I., сент. 2023, в: Algebra and Logic. 62, 4, стр. 291-302 12 стр.

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

  3. Constructing Decidable Graphs from Decidable Structures

    Bazhenov, N. A. & Harrison-Trainor, M., 1 нояб. 2019, в: Algebra and Logic. 58, 5, стр. 369-382 14 стр.

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

  4. Computable Stone spaces

    Bazhenov, N., Harrison-Trainor, M. & Melnikov, A., 1 окт. 2023, в: Annals of Pure and Applied Logic. 174, 9, 25 стр., 103304.

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

  5. 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).

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

  6. Computable Contact Algebras

    Bazhenov, N., 1 янв. 2019, в: Fundamenta Informaticae. 167, 4, стр. 257-269 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. Computability of Distributive Lattices

    Bazhenov, N. A., Frolov, A. N., Kalimullin, I. S. & Melnikov, A. G., 1 нояб. 2017, в: Siberian Mathematical Journal. 58, 6, стр. 959-970 12 стр.

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

  9. 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 стр.

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

  10. Categoricity Spectra of Computable Structures

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

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

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

ID: 3440851