|
1
|
Морозов А.С.
Алгебраические свойства некоторых классов функций
8-я Всероссийская конференция "Синтаксис и семантика логических систем", посвященная памяти И. К. Шаранхаева. Аршан, Республика Бурятия,
20-24 авг. 2024
|
|
2
|
Морозов А.С.
Об алгебраических свойствах некоторых классов функций
Комбинаторно-вычислительные методы алгебры и логики
15-19 июл. 2024
|
|
3
|
Морозов А.С.
Алгебраические свойства некоторых алгоритмических классов функций
Международная научная конференция «Алгебра и математическая логика: теория и приложения»
27 июн. - 1 июл. 2024
|
|
4
|
Morozov A.S.
Algebraic and algorithmic properties of some classes of functions
EQUIVALENCES, NUMBERINGS, REDUCIBILITIES
20-24 May 2024
|
|
5
|
Касымов Н.Х.
, Морозов А.С.
О нижних полурешётках отделимых конгруэнций нумерованных алгебр
Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ"
14-18 нояб. 2022
|
|
6
|
Морозов А.С.
Теория вычислимых структур над точной реализацией вещественных чисел
Международная школа-семинар «Синтаксис и семантика логических систем»
01-05 авг. 2022
|
|
7
|
Морозов А.С.
Теория вычислимых структур над точной реализацией вещественных чисел
Международный воркшоп по теории вычислимости
30 июн. - 4 июл. 2022
|
|
8
|
Морозов А.С.
Теория вычислимых структур над точной реализацией вещественных чисел
Сателлит-конференция «ЛОБАЧЕВСКИЕ ЧТЕНИЯ» Международного конгресса математиков-2022
30 июн. - 4 июл. 2022
|
|
9
|
Пузаренко В.Г.
, Морозов А.С.
, Файзрахманов М.Х.
К проблеме спектров групп
перестановок
Algorithmic Presentations in Mathematics
08-12 нояб. 2021
|
|
10
|
Morozov A.S.
Computable model theory over HF(R)
Международная конференция «Мальцевские чтения»
16-19 Nov 2020
|
|
11
|
Morozov A.S.
On $\Sigma$-preorderings in HF(R)
South Eastern Logic Symposium 2020
29 Feb - 1 Mar 2020
|
|
12
|
Морозов А.С.
О сигма-представимых предпорядках
Синтаксис и семантика логических систем
12-15 авг. 2019
|
|
13
|
Морозов А.С.
О $\Sigma$-предпорядках над HF(R)
Пограничные вопросы теории моделей и универсальной алгебры
23-29 июн. 2019
|
|
14
|
Morozov A.
On Σ-preorderings in HF(R)
Workshop on Recursion Theory, Set Theory and their interactions
27 May - 7 Jun 2019
|
|
15
|
Morozov A.S.
, Koepke P.
On the computability with infinite time Blum–Shub–Smale machines
St. Petersburg days of logic and computability IV
23-26 May 2019
|
|
16
|
Morozov A.S.
, Кёпке П.
Infinite time Blum-Shub-Smale machines: a computability for analysis
Международная конференция «Мальцевские чтения»
19 Aug - 22 Nov 2018
|
|
17
|
Morozov A.S.
On Σ-Presentability of Some Structures of Analysis over Hereditarily Finite Superstructures
Computability and Complexity Symposium 2017
05-08 Jan 2017
|