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

  2. Effective Embeddings for Pairs of Structures

    Bazhenov, N., Ganchev, H. & Vatev, S., 1 янв. 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (ред.). Springer-Verlag GmbH and Co. KG, стр. 84-95 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11558 LNCS).

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

  3. Friedberg numberings of families of partial computable functionals

    Ospichev, S., 1 янв. 2019, в: Сибирские электронные математические известия. 16, стр. 331-339 9 стр.

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

  4. Компьютерные методы для анализа технологий секвенирования в анализе хромосомных контактов в клетке

    Орлов, Ю. Л., Ковалев, С. С., Дергилев, А. И., Бабенко, Р. О., Галиева, Э. Р. & Леберфарб, Е. Ю., 2019, в: Genes and Cells. 14, S, стр. 171-171 1 стр.

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

  5. Построение разрешимых графов по разрешимым структурам

    Баженов, Н. А. & Harrison-Trainor, M., 2019, в: Алгебра и логика. 58, 5, стр. 553-573 21 стр.

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

  6. 2018

  7. Some new results on Gröbner-Shirshov bases for Lie algebras and around

    Bokut, L. A., Chen, Y. & Obul, A., 1 дек. 2018, в: International Journal of Algebra and Computation. 28, 8, стр. 1403-1423 21 стр.

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

  8. Computable Bi-Embeddable Categoricity

    Bazhenov, N. A., Fokina, E. B., Rossegger, D. & San Mauro, L., 1 нояб. 2018, в: Algebra and Logic. 57, 5, стр. 392-396 5 стр.

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

  9. Universal Functions and Unbounded Branching Trees

    Khisamiev, A. N., 1 сент. 2018, в: Algebra and Logic. 57, 4, стр. 309-319 11 стр.

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

  10. Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis

    Aleksandrova, S. A., 1 сент. 2018, в: Siberian Mathematical Journal. 59, 5, стр. 763-767 5 стр.

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

  11. Degrees of Autostability Relative to Strong Constructivizations of Graphs

    Bazhenov, N. A. & Marchuk, M. I., 1 июл. 2018, в: Siberian Mathematical Journal. 59, 4, стр. 565-577 13 стр.

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

  12. Degrees of Autostability for Prime Boolean Algebras

    Bazhenov, N. A. & Marchuk, M. I., 1 июн. 2018, в: Algebra and Logic. 57, 2, стр. 98-114 17 стр.

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

Назад 1...10 11 12 13 14 15 16 17 ...21 Далее

ID: 3082806