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

  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-Verlag GmbH and Co. KG, стр. 85-96 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10185 LNCS).

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

  3. Degrees of categoricity of rigid structures

    Bazhenov, N. A. & Yamaleev, M. M., 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. стр. 152-161 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10307 LNCS).

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

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

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

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

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

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

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

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

  7. 2016

  8. Categoricity Spectra for Polymodal Algebras

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

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

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

ID: 3440851