1 - 10 out of 105Page size: 10
  1. 2026

  2. Degree Spectra of Homeomorphism Type of Compact Polish Spaces

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

    Research output: Contribution to journal › Article › peer-review

  3. 2025

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

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

    Research output: Contribution to conference › Paper › peer-review

  5. Complexity issues for the iterated h-preorders

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  7. Ordered fields and Grzegorczyk’s hierarchy

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  8. 2024

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

    Podolskii, V. & Selivanov, V., 11 Sep 2024, In: Electronic proceedings in theoretical computer science. 407, 1, p. 186-197 12 p.

    Research output: Contribution to journal › Conference article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

  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. (ed.). Springer Nature, p. 205–217 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14773 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  12. 2023

  13. Descriptive complexity of qcb_0-spaces

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Previous 1 2 3 4 5 6 7 8 ...11 Next

ID: 42363115