51 - 60 out of 105Page size: 10
  1. 2013

  2. Total representations

    Selivanov, V., 11 Jun 2013, In: Logical Methods in Computer Science. 9, 2, p. 1-30 30 p.

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

  3. Boolean algebras of regular ω-languages

    Selivanov, V. & Konovalov, A., 1 Jan 2013, Language and Automata Theory and Applications (LATA 2013). p. 504-515 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7810).

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

  4. 2012

  5. Fine hierarchies via Priestley duality

    Selivanov, V., 1 Aug 2012, In: Annals of Pure and Applied Logic. 163, 8, p. 1075-1107 33 p.

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

  6. 2011

  7. Complexity issues for preorders on finite labeled forests

    Hertling, P. & Selivanov, V., 26 Sep 2011, Models of Computation in Context (CiE 2011). p. 112-121 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6735).

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

  8. The shrinking property for NP and coNP

    Glaßer, C., Reitwießner, C. & Selivanov, V., 4 Mar 2011, In: Theoretical Computer Science. 412, 8-10, p. 853-864 12 p.

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

  9. 2010

  10. Definability in the subword order

    Kudinov, O. V., Selivanov, V. L. & Yartseva, L. V., 29 Jul 2010, Programs, Proofs, Processes (CiE 2010). p. 246-255 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6158).

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

  11. Undecidability in Weihrauch degrees

    Kudinov, O. V., Selivanov, V. L. & Zhukov, A. V., 29 Jul 2010, Programs, Proofs, Processes (CiE 2010). p. 256-265 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6158).

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

  12. Definability in the structure of words with the inclusion relation

    Kudinov, O. V., Selivanov, V. L. & Yartseva, L. V., 1 Jul 2010, In: Siberian Mathematical Journal. 51, 3, p. 456-462 7 p.

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

  13. Definability of closure operations in the h-quasiorder of labeled forests

    Zhukov, A. V., Kudinov, O. V. & Selivanov, V. L., 1 May 2010, In: Algebra and Logic. 49, 2, p. 120-129 10 p.

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

  14. On the Wadge reducibility of k-partitions

    Selivanov, V. L., 1 Jan 2010, In: Journal of Logic and Algebraic Programming. 79, 1, p. 92-102 11 p.

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

Previous 12 3 4 5 6 7 8 9 ...11 Next

ID: 42363115