Оспичев Сергей Сергеевич

Кандидат физико-математических наук

20152021

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Fingerprint

Узнайте самые подробные результаты анализа активности Сергей Сергеевич Оспичев. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
  • 1 Аналогичные профили

Сеть

Недавнее внешнее сотрудничество на уровне страны/территории. Просмотрите подробные сведения, нажав на точки или
  • On Universal Pairs in the Ershov Hierarchy

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

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

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

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

    2 Цитирования (Scopus)
  • 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).

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

  • The expressiveness of looping terms in the semantic programming

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

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

    Открытый доступ
    2 Цитирования (Scopus)
  • 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).

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