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

  2. Complexity Aspects of the Extension of Wagner’s Hierarchy to k-Partitions

    Podolskii, V. & Selivanov, V., 11 сен 2024, в: Electronic proceedings in theoretical computer science. 407, 1, стр. 186-197 12 стр.

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

  3. Ideal presentations and numberings of some classes of effective quasi-Polish spaces

    Селиванов, В. Л., de Brecht, M. & Kihara, T., 2024, (Электронная публикация перед печатью) в: Computability. 24 стр.

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

  4. Universal Boolean Algebras with Applications to Semantic Classes of Models

    Селиванов, В. Л. & Peretyat’kin, M., 2024, Twenty Years of Theoretical and Practical Synergies (CiE 2024). Patey, L. (ред.). Springer Nature, стр. 205–217 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 14773 LNCS).

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

  5. 2023

  6. Degree Spectra of Homeomorphism Type of Compact Polish Spaces

    Hoyrup, M., Kihara, T. & Селиванов, В. Л., 11 дек 2023, (Электронная публикация перед печатью) в: Journal of Symbolic Logic. fi, 32 стр.

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

  7. Descriptive complexity of qcb_0-spaces

    Селиванов, В. Л., 2023, в: Theoretical Computer Science. 945, 113666.

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

  8. Extending Wagner’s hierarchy to deterministic visibly pushdown automata

    Селиванов, В. Л., 2023, Unity of Logic and Computation (CiE 2023). Springer Nature, стр. 190-201 12 стр. (LNCS; том 13967).

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

  9. Logic vs topology on regular ω-languages

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

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

  10. Primitive recursive ordered fields and some applications

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

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

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

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

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

  12. 2022

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

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

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

ID: 42363115