1. 1994
  2. Two refinements of the polynomial hierarchy

    Selivanov, V. L., 1 Jan 1994, STACS 94 (STACS 1994). p. 439-448 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 775 ).

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

  3. 1992
  4. Precomplete numberings and functions without fixed points

    Selivanov, V. L., 1 Jan 1992, In: Mathematical Notes. 51, 1, p. 95-99 5 p.

    Research output: Contribution to journalArticlepeer-review

  5. 1991
  6. Jumps of certain classes of Δ20-sets

    Selivanov, V. L., 1 Dec 1991, In: Mathematical Notes of the Academy of Sciences of the USSR. 50, 6, p. 1299-1300 2 p.

    Research output: Contribution to journalArticlepeer-review

  7. Fine hierarchy and definable index sets

    Selivanov, V. L., 1 Nov 1991, In: Algebra and Logic. 30, 6, p. 463-475 13 p.

    Research output: Contribution to journalArticlepeer-review

  8. Refined hierarchy of formulas

    Selivanov, V. L., 1 Sep 1991, In: Algebra and Logic. 30, 5, p. 368-378 11 p.

    Research output: Contribution to journalArticlepeer-review

  9. 1990
  10. Index sets of classes of hyper-hypersimple sets

    Selivanov, V. L., 1 Mar 1990, In: Algebra and Logic. 29, 2, p. 155-168 14 p.

    Research output: Contribution to journalArticlepeer-review

  11. 1989
  12. Arithmetic Hierarchy and ideals of enumerated Boolean algebras

    Odintsov, S. P. & Selivanov, V. L., 1 Nov 1989, In: Siberian Mathematical Journal. 30, 6, p. 952-960 9 p.

    Research output: Contribution to journalArticlepeer-review

  13. Application of precomplete enumerations to tabular-type degrees and index sets

    Selivanov, V. L., 1 Jan 1989, In: Algebra and Logic. 28, 1, p. 51-56 6 p.

    Research output: Contribution to journalArticlepeer-review

  14. 1988
  15. Algorithmic complexity of algebraic systems

    Selivanov, V. L., 1 Dec 1988, In: Mathematical Notes of the Academy of Sciences of the USSR. 44, 6, p. 944-950 7 p.

    Research output: Contribution to journalArticlepeer-review

  16. Ershov hierarchy and the t-jump

    Selivanov, V. L., 1 Jul 1988, In: Algebra and Logic. 27, 4, p. 292-301 10 p.

    Research output: Contribution to journalArticlepeer-review

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

ID: 42363115