1. 2009
  2. Hierarchies and reducibilities on regular languages related to modulo counting

    Selivanov, V. L., 1 Jan 2009, In: RAIRO - Theoretical Informatics and Applications. 43, 1, p. 95-132 38 p.

    Research output: Contribution to journalArticlepeer-review

  3. 2008
  4. Wadge reducibility and infinite computations

    Selivanov, V., 1 Nov 2008, In: Mathematics in Computer Science. 2, 1, p. 5-36 32 p.

    Research output: Contribution to journalArticlepeer-review

  5. Fine hierarchies and m-reducibilities in theoretical computer science

    Selivanov, V. L., 6 Oct 2008, In: Theoretical Computer Science. 405, 1-2, p. 116-163 48 p.

    Research output: Contribution to journalArticlepeer-review

  6. Complexity of topological properties of regular ω-languages

    Selivanov, V. L. & Wagner, K. W., 4 Aug 2008, In: Fundamenta Informaticae. 83, 1-2, p. 197-217 21 p.

    Research output: Contribution to journalArticlepeer-review

  7. Complexity of aperiodicity for topological properties of regular ω-languages

    Selivanov, V. L. & Wagner, K. W., 1 Jul 2008, Logic and Theory of Algorithms (CiE 2008). p. 533-543 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5028).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  8. Computing solutions of symmetric hyperbolic systems of PDE’s

    Selivanova, S. & Selivanov, V., 1 Jan 2008, Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008. p. 243-255 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  9. On the difference hierarchy in countably based T0-spaces

    Selivanov, V., 1 Jan 2008, Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008. p. 257-269 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  10. 2007
  11. Definability in the homomorphic quasiorder of finite labeled forests

    Kudinov, O. V. & Selivanov, V. L., 1 Dec 2007, 3rd Conference on Computability in Europe, CiE 2007. p. 436-445 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4497).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  12. The quotient algebra of labeled forests modulo h-equivalence

    Selivanov, V. L., 1 Mar 2007, In: Algebra and Logic. 46, 2, p. 120-133 14 p.

    Research output: Contribution to journalArticlepeer-review

  13. Fine hierarchy of regular aperiodic ω-languages

    Selivanov, V. L., 1 Jan 2007, Developments in Language Theory (DLT 2007). p. 399-410 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4588 ).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

ID: 42363115