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

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

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

  2. A note on effective categoricity for linear orderings

    Bazhenov, N., 1 янв. 2017, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings. Gopal, TV., Jager, G. & Steila, S. (ред.). Springer, стр. 85-96 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10185 LNCS).

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

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

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

  4. Autostability spectra for decidable structures

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

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

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

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

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

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

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

  7. Cantor–Bendixson Ranks for Almost Prime Models

    Bazhenov, N. & Marchuk, M., 2024, Lecture Notes Series, Institute for Mathematical Sciences. World Scientific, стр. 79-95 17 стр. (Lecture Notes Series, Institute for Mathematical Sciences; том 42).

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

  8. Categoricity Spectra for Polymodal Algebras

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

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

  9. Categoricity Spectra of Computable Structures

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

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

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

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

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

ID: 3440851