Sciact
Toggle navigation
  • EN
  • RU

Разделы:

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

Доклады на конференциях (18)

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

1   /  1   -  Всего 18 записей

Фильтр

Сортировка

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

Столбцы

Сбросить