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

  2. Numberings in the Analytical Hierarchy

    Bazhenov, N. A., Mustafa, M., Ospichev, S. S. & Yamaleev, M. M., нояб. 2020, в: Algebra and Logic. 59, 5, стр. 404-407 4 стр.

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

  3. Strong Degrees of Categoricity and Weak Density

    Bazhenov, N. A., Kalimullin, I. S. & Yamaleev, M. M., сент. 2020, в: Lobachevskii Journal of Mathematics. 41, 9, стр. 1630-1639 10 стр.

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

  4. A Note on Computable Embeddings for Ordinals and Their Reverses

    Bazhenov, N. & Vatev, S., 1 июл. 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (ред.). Springer Gabler, стр. 1-13 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12098 LNCS).

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

  5. Decompositions of decidable abelian groups

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

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

  6. Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

    Bazhenov, N. A., Mustafa, M., San Mauro, L. & Yamaleev, M. M., 1 февр. 2020, в: Lobachevskii Journal of Mathematics. 41, 2, стр. 145-150 6 стр.

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

  7. Definable subsets of polynomial-time algebraic structures

    Bazhenov, N., 1 янв. 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ред.). Springer Gabler, стр. 142-154 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12159 LNCS).

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

  8. Semilattices of Punctual Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 2020, Theory and Applications of Models of Computation - 16th International Conference, TAMC 2020, Proceedings. Chen, J., Feng, Q. & Xu, J. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 1-12 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12337 LNCS).

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

  9. 2019

  10. Automatic and Polynomial-Time Algebraic Structures

    Bazhenov, N., Harrison-Trainor, M., Kalimullin, I., Melnikov, A. & Ng, K. M., 1 дек. 2019, в: Journal of Symbolic Logic. 84, 4, стр. 1630-1669 40 стр.

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

  11. Constructing Decidable Graphs from Decidable Structures

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

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

  12. Degrees of bi-embeddable categoricity of equivalence structures

    Bazhenov, N., Fokina, E., Rossegger, D. & San Mauro, L., 1 авг. 2019, в: Archive for Mathematical Logic. 58, 5-6, стр. 543-563 21 стр.

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

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

ID: 3440851