Research output

  1. Degree Spectra of Homeomorphism Type of Compact Polish Spaces

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

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

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

  3. Complexity issues for the iterated h-preorders

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

View all (105) »

Projects

  1. Аспекты сложности в теории формальных языков: 2026 г. этап 4

    Project: Grant fulfilment › Grant stage fulfilment

  2. Договор о выполнении научно-исследовательских работ между ООО "Техкомпания Хуавэй" и СПбГУ на тему: "Бенчмарк Math-X" (Math-X benchmark)

    Project: Grant fulfilment › Total grant fulfilment

  3. Аспекты сложности в теории формальных языков: 2025 г. этап 3

    Project: Grant fulfilment › Grant stage fulfilment

View all () »

Activities

  1. Input-driven pushdown automata on well-nested infinite strings

    Activity: Conference talk types › Oral presentation

View all (1) »

ID: 42363115