Sciact
Toggle navigation
  • EN
  • RU

Разделы:

  • Статьи
  • Книги
  • Доклады на конференциях
  • Тезисы докладов
  • Патенты

Статьи (45)

# Публикация
41 Морозов А.С.
Непредставимость некоторых структур анализа в наследственно конечных надстройках
Алгебра и логика. 2017. Т.56. №6. С.691-711. DOI: 10.17377/alglog.2017.56.604 РИНЦ MathNet
42 Кёпке П. , Морозов А.С.
О вычислительных возможностях машин Блюм–Шуба–Смэйла, работающих в бесконечном времени
Алгебра и логика. 2017. Т.56. №1. С.55-92. DOI: 10.17377/alglog.2017.56.103 РИНЦ MathNet
43 Морозов А.С.
Об одной сводимости и экзистенциальной интерпретируемости cтруктур
Сибирский математический журнал. 2017. Т.58. №2. С.365-374. DOI: 10.17377/smzh.2017.58.210 РИНЦ MathNet
44 Morozov A.S.
On some reducibility and existential interpretability of structures
Siberian Mathematical Journal. 2017. V.58. N2. P.281-287. DOI: 10.1134/S0037446617020100 WOS Scopus OpenAlex
45 Morozov A.S.
Computable model theory over the reals
Lecture Notes in Computer Science. 2017. V.10010. P.354-365. DOI: 10.1007/978-3-319-50062-1_22 Scopus OpenAlex

  • « Назад
  • 1
  • 2
  • 3
  • Вперед »
3   /  3   -  Всего 45 записей

Фильтр

Сортировка

Поле Направление

Столбцы

Сбросить