191 - 200 из 205Размер страницы: 10
Сортировать по:: Заголовок

  1. Turing computable embeddings, computable infinitary equivalence, and linear orders

    Bazhenov, N., 1 янв. 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (ред.). Springer-Verlag GmbH and Co. KG, Том 10307 LNCS. стр. 141-151 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10307 LNCS).

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

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

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

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

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

  4. Unified Formalization of «natural» Classification, «natural» Concepts, and Consciousness as Integrated Information by Giulio Tononi

    Vityaev, E., 2015, в: Procedia Computer Science. 71, стр. 169-177 9 стр.

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

  5. Universal Functions and Unbounded Branching Trees

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

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

  6. Weakly Precomplete Equivalence Relations in the Ershov Hierarchy

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

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

  7. Well-Orders Realized by C.E. Equivalence Relations

    Bazhenov, N. & Zubkov, M., 2022, Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Proceedings. Berger, U., Pauly, A., Franklin, J. N. Y. & Manea, F. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 13-23 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13359 LNCS).

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

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

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

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

  9. Σ-Preorderings in ℍF (ℝ)

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

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

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

    Orlov, Y. L., Thierry, O., Bogomolov, A. G., Tsukanov, A. V., Kulakova, E. V., Galieva, E. R., Bragin, A. O. & Li, G., окт. 2017, в: Biomeditsinskaya Khimiya. 63, 5, стр. 418-422 5 стр.

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

Назад 1...16 17 18 19 20 21 Далее

ID: 3082806