71 - 80 out of 101Page size: 10
  1. 2007

  2. Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests

    Oleg, K. & Селиванов, В. Л., 2007, In: Journal of Logic and Computation. 17, p. 1135-1151

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

  3. 2006

  4. Towards a descriptive set theory for domain-like structures

    Selivanov, V. L., 12 Nov 2006, In: Theoretical Computer Science. 365, 3, p. 258-282 25 p.

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

  5. Undecidability in the homomorphic quasiorder of finite labeled forests

    Kudinov, O. V. & Selivanov, V. L., 1 Jan 2006, Logical Approaches to Computational Barriers (CiE 2006). p. 289-296 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3988).

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

  6. 2005

  7. Classifying countable Boolean terms

    Selivanov, V. L., 1 Mar 2005, In: Algebra and Logic. 44, 2, p. 95-108 14 p.

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

  8. Variations on wadge reducibility extended abstract

    Selivanov, V. L., 3 Feb 2005, In: Electronic Notes in Theoretical Computer Science. 120, SPEC. ISS., p. 159-171 13 p.

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

  9. Some reducibilities on regular sets

    Selivanov, V. L., 1 Jan 2005, Some reducibilities on regular sets. Vol. 3526. p. 430-439 10 p. (Lecture Notes in Computer Science).

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

  10. 2004

  11. A reducibility for the dot-depth hierarchy

    Selivanov, V. L. & Wagner, K. W., 1 Jan 2004, Mathematical Foundations of Computer Science 2004 (MFCS 2004). p. 783-793 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3153).

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

  12. Boolean hierarchies of partitions over a reducible base

    Selivanov, V. L., 1 Jan 2004, In: Algebra and Logic. 43, 1, p. 44-61 18 p.

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

  13. 2003

  14. Wadge degrees of ω-languages of deterministic turing machines

    Selivanov, V., 1 Jan 2003, STACS 2003 (STACS 2003). p. 97-108 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2607).

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

  15. Wadge degrees of ω-languages of deterministic turing machines

    Selivanov, V., 1 Jan 2003, In: RAIRO - Theoretical Informatics and Applications. 37, 1, p. 67-83 17 p.

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

Previous 1...4 5 6 7 8 9 10 11 Next

ID: 42363115