11 - 20 из 101Размер страницы: 10
Сортировать по:: Год публикации
  1. 2022

  2. A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES

    Selivanov, V., 5 июн 2022, в: Journal of Symbolic Logic. 87, 2, стр. 732-757 26 стр.

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

  3. Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set Theory

    Selivanov, V., 1 янв 2022, Revolutions and Revelations in Computability. стр. 287-298 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13359).

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

  4. Enumerating Classes of Effective Quasi-Polish Spaces

    de Brecht, M., Kihara, T. & Selivanov, V., 1 янв 2022, Revolutions and Revelations in Computability. Springer Nature, стр. 88-102 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13359).

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

  5. Fields of Algebraic Numbers Computable in Polynomial Time. II

    Alaev, P. E. & Selivanov, V. L., 1 янв 2022, в: Algebra and Logic. 60, 6, стр. 349-359 11 стр.

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

  6. 2021

  7. Precomplete Numberings

    Selivanov, V. L., 1 июл 2021, в: Journal of Mathematical Sciences (United States). 256, 1, стр. 96-124 29 стр.

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

  8. Input-Driven Pushdown Automata on Well-Nested Infinite Strings

    Okhotin, A. & Selivanov, V. L., июн 2021, Computer Science – Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Proceedings. Santhanam, R. & Musatov, D. (ред.). Springer Nature, стр. 349-360 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12730 LNCS).

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

  9. Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision

    Selivanova, S. & Selivanov, V., 1 янв 2021, в: Computability. 10, 2, стр. 123-140 18 стр.

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

  10. Complexity Issues for the Iterated h-Preorders

    Alaev, P. & Selivanov, V., 1 янв 2021, Descriptional Complexity of Formal Systems. стр. 1-12 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13037).

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

  11. Non-collapse of the Effective Wadge Hierarchy

    Selivanov, V., 1 янв 2021, Connecting with Computability. стр. 407-416 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12813).

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

  12. Searching for Applicable Versions of Computable Structures

    Alaev, P. E. & Selivanov, V. L., 1 янв 2021, Connecting with Computability. стр. 1-11 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12813).

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

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

ID: 42363115