1 - 10 out of 101Page size: 10
  1. 2024

  2. 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

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

    Селиванов, В. Л., de Brecht, M. & Kihara, T., 2024, (E-pub ahead of print) In: Computability. 24 p.

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

  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. (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 › Research › peer-review

  5. 2023

  6. Degree Spectra of Homeomorphism Type of Compact Polish Spaces

    Hoyrup, M., Kihara, T. & Селиванов, В. Л., 11 Dec 2023, (E-pub ahead of print) In: Journal of Symbolic Logic. fi, 32 p.

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

  7. Descriptive complexity of qcb_0-spaces

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

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

  8. 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 › Research › peer-review

  9. Logic vs topology on regular ω-languages

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

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

  10. Primitive recursive ordered fields and some applications

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

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

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

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

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

  12. 2022

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

    Kihara, T. & Selivanov, V., 1 Sep 2022, In: Proceedings of the American Mathematical Society. 150, 9, p. 3989-4003 15 p.

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

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

ID: 42363115