11 - 20 out of 105Page size: 10
  1. 2023

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

  3. Primitive recursive ordered fields and some applications

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

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

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

  5. 2022

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

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

    Selivanov, V., 5 Jun 2022, In: Journal of Symbolic Logic. 87, 2, p. 732-757 26 p.

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

  8. Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set Theory

    Selivanov, V., 1 Jan 2022, Revolutions and Revelations in Computability. p. 287-298 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13359).

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

  9. Enumerating Classes of Effective Quasi-Polish Spaces

    de Brecht, M., Kihara, T. & Selivanov, V., 1 Jan 2022, Revolutions and Revelations in Computability. Springer Nature, p. 88-102 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13359).

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

  10. Fields of Algebraic Numbers Computable in Polynomial Time. II

    Alaev, P. E. & Selivanov, V. L., 1 Jan 2022, In: Algebra and Logic. 60, 6, p. 349-359 11 p.

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

  11. 2021

  12. Precomplete Numberings

    Selivanov, V. L., 1 Jul 2021, In: Journal of Mathematical Sciences (United States). 256, 1, p. 96-124 29 p.

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

  13. Input-Driven Pushdown Automata on Well-Nested Infinite Strings

    Okhotin, A. & Selivanov, V. L., Jun 2021, Computer Science – Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Proceedings. Santhanam, R. & Musatov, D. (eds.). Springer Nature, p. 349-360 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12730 LNCS).

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

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

ID: 42363115