RUS  ENG
Полная версия
ПЕРСОНАЛИИ

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

Публикации в базе данных Math-Net.Ru

  1. Об универсальных парах в иерархии Ершова

    Сиб. матем. журн., 62:1 (2021),  31–41
  2. О нумерациях в аналитической иерархии

    Алгебра и логика, 59:5 (2020),  594–599
  3. The expressiveness of looping terms in the semantic programming

    Сиб. электрон. матем. изв., 17 (2020),  380–394
  4. Фридберговы нумерации семейств частично вычислимых функционалов

    Сиб. электрон. матем. изв., 16 (2019),  331–339
  5. On the complexity of formulas in semantic programming

    Сиб. электрон. матем. изв., 15 (2018),  987–995
  6. Фридберговы нумерации в иерархии Ершова

    Алгебра и логика, 54:4 (2015),  444–462
  7. Вычислимые семейства множеств иерархии Ершова без главных нумераций

    Вестн. НГУ. Сер. матем., мех., информ., 15:1 (2015),  54–62
  8. Бесконечное семейство $\Sigma^{-1}_{a}$-множеств с единственной вычислимой нумерацией

    Вестн. НГУ. Сер. матем., мех., информ., 11:2 (2011),  89–92
  9. Некоторые свойства нумераций различных классов иерархии Ершова

    Вестн. НГУ. Сер. матем., мех., информ., 10:4 (2010),  125–132


© МИАН, 2024