1. 2018
  2. 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 стр.

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

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

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

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

  4. 2017
  5. On some reducibility and existential interpretability of structures

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

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

  6. 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 стр.

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

  7. 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 стр.

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

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

ID: 3438806