1. 2019
  2. Constructing Decidable Graphs from Decidable Structures

    Bazhenov, N. A. & Harrison-Trainor, M., 1 нояб. 2019, в: Algebra and Logic. 58, 5, стр. 369-382 14 стр.

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

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

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

  4. Σ-Preorderings in ℍF (ℝ)

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

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

  5. Semantic Modeling and Hybrid Models

    Goncharov, S. & Sviridenko, D., окт. 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., стр. 987-990 4 стр. 8958196. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  6. Degrees of bi-embeddable categoricity of equivalence structures

    Bazhenov, N., Fokina, E., Rossegger, D. & San Mauro, L., 1 авг. 2019, в: Archive for Mathematical Logic. 58, 5-6, стр. 543-563 21 стр.

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

  7. Computer genomics research at the bioinformatics conference series in Novosibirsk

    Orlov, Y. L., Galieva, E. R. & Melerzanov, A. V., 11 июл. 2019, в: BMC Genomics. 20, Suppl 7, стр. 537 4 стр., 537.

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

  8. Turing Degrees of Complete Formulas of Almost Prime Models

    Goncharov, S. S., Miller, R. & Harizanov, V., 1 июл. 2019, в: Algebra and Logic. 58, 3, стр. 282-287 6 стр.

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

  9. Weakly Precomplete Equivalence Relations in the Ershov Hierarchy

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 июл. 2019, в: Algebra and Logic. 58, 3, стр. 199-213 15 стр.

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

  10. Foundations of online structure theory

    Bazhenov, N., Downey, R., Kalimullin, I. & Melnikov, A., 1 июн. 2019, в: Bulletin of Symbolic Logic. 25, 2, стр. 141-181 41 стр.

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

  11. Structure of Quasivariety Lattices. II. Undecidable Problems

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 15 мая 2019, в: Algebra and Logic. 58, 2, стр. 123-136 14 стр.

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

ID: 3082806