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

  2. Logic vs topology on regular ω-languages

    Селиванов, В. Л. & Ореховский, В. Н., 2023, Unity of Logic and Computation (CiE 2023). Springer Nature, Том 13967. (LNCS).

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

  3. Primitive recursive ordered fields and some applications

    Селиванов, В. Л. & Селиванова, С. В., 2023, в: Computability. 12, стр. 71–99 29 стр.

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

  4. Wadge degrees of classes of omega-regular k-partitions

    Селиванов, В. Л., 2023, в: Journal of Automata, Languages and Combinatorics. 28, 1-3, стр. 167-199 33 стр.

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

  5. 2022

  6. WADGE-LIKE DEGREES OF BOREL BQO-VALUED FUNCTIONS

    Kihara, T. & Selivanov, V., 1 сен 2022, в: Proceedings of the American Mathematical Society. 150, 9, стр. 3989-4003 15 стр.

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

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

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

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

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

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

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

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

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

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

  11. 2021

  12. Precomplete Numberings

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

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

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

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

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

ID: 42363115