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

  2. Isomorphism Types of Rogers Semilattices in the Analytical Hierarchy

    Bazhenov, N., Ospichev, S. & Yamaleev, M., 2024, Lecture Notes Series, Institute for Mathematical Sciences. World Scientific, стр. 97-114 18 стр. (Lecture Notes Series, Institute for Mathematical Sciences; том 42).

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

  3. 2021

  4. On Universal Pairs in the Ershov Hierarchy

    Bazhenov, N. A., Mustafa, M. & Ospichev, S. S., янв. 2021, в: Siberian Mathematical Journal. 62, 1, стр. 23-31 9 стр.

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

  5. 2020

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

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

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

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

  8. The expressiveness of looping terms in the semantic programming

    Goncharov, S., Ospichev, S., Ponomaryov, D. & Sviridenko, D., 2020, в: Сибирские электронные математические известия. 17, стр. 380-394 15 стр., 024.

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

  9. 2019

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

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

  11. Friedberg numberings of families of partial computable functionals

    Ospichev, S., 1 янв. 2019, в: Сибирские электронные математические известия. 16, стр. 331-339 9 стр.

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

  12. 2018

  13. On the complexity of formulas in semantic programming

    Ospichev, S. & Ponomarev, D., 1 янв. 2018, в: Сибирские электронные математические известия. 15, стр. 987-995 9 стр.

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

  14. 2016

  15. Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings

    Ospichev, S. S., 1 июн. 2016, в: Journal of Mathematical Sciences (United States). 215, 4, стр. 529-536 8 стр.

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

  16. 2015

  17. Friedberg Numberings in the Ershov Hierarchy

    Ospichev, S. S., сент. 2015, в: Algebra and Logic. 54, 4, стр. 283-295 13 стр.

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

ID: 3440523