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

  2. Structure of Quasivariety Lattices. I. Independent Axiomatizability

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 15 янв. 2019, в: Algebra and Logic. 57, 6, стр. 445-462 18 стр.

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

  3. Bounded Reducibility for Computable Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, 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, стр. 96-107 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11558 LNCS).

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

  4. Computable Contact Algebras

    Bazhenov, N., 1 янв. 2019, в: Fundamenta Informaticae. 167, 4, стр. 257-269 13 стр.

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

  5. Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 янв. 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (ред.). Springer-Verlag GmbH and Co. KG, стр. 28-41 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11436 LNCS).

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

  6. Computable Topology for Reliable Computations

    Korovina, M. & Kudinov, O., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 185-198 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

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

  7. 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).

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

  8. Friedberg numberings of families of partial computable functionals

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

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

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

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

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

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

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

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

  11. 2018

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

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

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

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

  14. Universal Functions and Unbounded Branching Trees

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

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

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

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

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

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

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

  17. Degrees of Autostability for Prime Boolean Algebras

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

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

  18. CpG islands’ clustering uncovers early development genes in the human genome

    Babenko, V. N., Bogomolov, A. G., Babenko, R. O., Galieva, E. R. & Orlov, Y. L., июн. 2018, в: Computer Science and Information Systems. 15, 2, стр. 473-485 13 стр.

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

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

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

  20. Quasiequational Bases of Cantor Algebras

    Basheyeva, A. O. & Schwidefsky, M. V., 1 мая 2018, в: Siberian Mathematical Journal. 59, 3, стр. 375-382 8 стр.

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

  21. Neuroscience researches at Belyaev conference-2017

    Orlov, Y. L., Moroz, L. L. & Baranova, A. V., 19 апр. 2018, в: BMC Neuroscience. 19, Suppl 1, стр. 14 2 стр., 14.

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

  22. On free Gelfand–Dorfman–Novikov–Poisson algebras and a PBW theorem

    Bokut, L. A., Chen, Y. & Zhang, Z., 15 апр. 2018, в: Journal of Algebra. 500, стр. 153-170 18 стр.

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

Назад 1...3 4 5 6 7 8 9 10 11 Далее

ID: 3082806