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

  2. Degree Spectra of Homeomorphism Type of Compact Polish Spaces

    Hoyrup, M., Kihara, T. & Селиванов, В. Л., 1 июн 2026, в: Journal of Symbolic Logic. 91, 2, стр. 699-730 32 стр.

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

  3. 2025

  4. Ordinal Invariants of the h-Preorder on k-Labeled Forests.

    Смирнов, И. В. & Селиванов, В. Л., 19 июл 2025, стр. 440-451. 12 стр.

    Результаты исследований: Материалы конференций › материалы › Рецензирование

  5. Complexity issues for the iterated h-preorders

    Селиванов, В. Л. & Алаев, П., 2025, в: Computability. 14, 3-4, стр. 139-156 18 стр.

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

  6. Lωω, Lω1ω, and the Wadge hierarchy

    Селиванов, В. Л., 2025, Lωω, Lω1ω, and the Wadge hierarchy. Beckmann, A. (ред.). Springer Nature, стр. 425-439 15 стр. (Lecture Notes in Computer Science; том 15764).

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

  7. Ordered fields and Grzegorczyk’s hierarchy

    Селиванов, В. Л. & Чиликов, Л., 2025, Computer Algebra in Scientific Computing. Springer Nature, стр. 47-65 19 стр. (Lecture Notes in Computer Science; том 16235).

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

  8. 2024

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

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

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

    Селиванов, В. Л., de Brecht, M. & Kihara, T., 2024, в: Computability. 13, 3-4, стр. 325-348 24 стр.

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

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

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

  12. 2023

  13. Descriptive complexity of qcb_0-spaces

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

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

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

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

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

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

ID: 42363115