1 - 10 из 17Размер страницы: 10
Сортировать по:: Год публикации
  1. 2017

  2. Computable model theory over the reals

    Morozov, A. S., 1 янв. 2017, в: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10010, стр. 354-365 12 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. On some reducibility and existential interpretability of structures

    Morozov, A. S., 1 мар. 2017, в: Siberian Mathematical Journal. 58, 2, стр. 281-287 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  4. The Computational Power of Infinite Time Blum–Shub–Smale Machines

    Koepke, P. & Morozov, A. S., 1 мар. 2017, в: Algebra and Logic. 56, 1, стр. 37-62 26 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. 2018

  6. Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

    Morozov, A. S., 1 янв. 2018, в: Algebra and Logic. 56, 6, стр. 458-472 15 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  7. A Computably Enumerable Partial Ordering Without Computably Enumerable Maximal Chains and Antichains

    Morozov, A. S., 1 мая 2018, в: Siberian Mathematical Journal. 59, 3, стр. 463-469 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  8. 2019

  9. On Holographic Structures

    Kasymkhanuly, B. & Morozov, A. S., 1 мар. 2019, в: Siberian Mathematical Journal. 60, 2, стр. 312-318 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  10. On Mutual Definability of Operations on Fields

    Korotkova, R. M., Kudinov, O. V. & Morozov, A. S., 1 нояб. 2019, в: Siberian Mathematical Journal. 60, 6, стр. 1032-1039 8 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  11. Σ-Preorderings in ℍF (ℝ)

    Morozov, A. S., 1 нояб. 2019, в: Algebra and Logic. 58, 5, стр. 405-416 12 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  12. 2020

  13. Turing Degrees and Automorphism Groups of Substructure Lattices

    Dimitrov, R. D., Harizanov, V. & Morozov, A. S., 1 мар. 2020, в: Algebra and Logic. 59, 1, стр. 18-32 15 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  14. Тьюринговы степени и группы автоморфизмов решёток подструктур

    Dimitrov, R. D., Harizanov, V. & Морозов, А. С., 1 мар. 2020, в: Алгебра и логика. 59, 1, стр. 27-47 21 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Назад 1 2 Далее

ID: 3438806