Sciact
Toggle navigation
  • EN
  • RU

Sections:

  • Articles
  • Books
  • Conference attendances
  • Conference theses
  • Patents

Articles (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 Koepke P. , Morozov A.S.
The computational power of infinite Time Blum–Shub–Smale machines
Algebra and Logic. 2017. V.56. N1. P.37-62. DOI: 10.1007/s10469-017-9425-x 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

  • « Previous
  • 1
  • 2
  • 3
  • Next »
3   /  3   -  Total 45 records

Filter

Order

Field Direction

Columns

Reset