Нет фото Сергей Сергеевич Оспичев

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

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

20152021

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

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

Поиск результатов

  • 2020

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

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

  • 2019

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

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

Ваше сообщение было отправлено.
Ваше сообщение не было отправлено из-за ошибки.