1. 2011
  2. 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 journalArticlepeer-review

  3. 2010
  4. 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 proceedingConference contributionpeer-review

  5. 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 proceedingConference contributionpeer-review

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

  7. 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 journalArticlepeer-review

  8. 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 journalArticlepeer-review

  9. 2009
  10. A Gandy theorem for abstract structures and applications to first-order definability

    Kudinov, O. V. & Selivanov, V. L., 1 Dec 2009, Mathematical Theory and Computational Practice (CiE 2009). p. 290-299 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5635).

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

  11. Computing the solution operators of symmetric hyperbolic systems of PDE

    Selivanova, S. & Selivanov, V., 24 Jul 2009, In: Journal of Universal Computer Science. 15, 6, p. 1337-1364 28 p.

    Research output: Contribution to journalArticlepeer-review

  12. Definability in the h-quasiorder of labeled forests

    Kudinov, O. V., Selivanov, V. L. & Zhukov, A. V., 1 Jun 2009, In: Annals of Pure and Applied Logic. 159, 3, p. 318-332 15 p.

    Research output: Contribution to journalArticlepeer-review

  13. Undecidability in some structures related to computation theory

    Selivanov, V. L., 1 Feb 2009, In: Journal of Logic and Computation. 19, 1, p. 177-197 21 p.

    Research output: Contribution to journalArticlepeer-review

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

ID: 42363115