1. 1991
  2. 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

  3. 1990
  4. 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

  5. 1989
  6. 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

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

  8. 1988
  9. 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

  10. 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

  11. Index sets of quotient objects of the post numeration

    Selivanov, V. L., 1 May 1988, In: Algebra and Logic. 27, 3, p. 215-224 10 p.

    Research output: Contribution to journalArticlepeer-review

  12. 1987
  13. Automorphism groups of numbered sets

    Selivanov, V. L., 1 Apr 1987, In: Mathematical Notes of the Academy of Sciences of the USSR. 41, 4, p. 330-333 4 p.

    Research output: Contribution to journalArticlepeer-review

  14. Index sets of factor-objects of the post numbering

    Selivanov, V. L., 1 Jan 1987, Fundamentals of Computation Theory (FCT 1987). p. 396-400 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 278 ).

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

  15. 1985
  16. Ershov hierarchy

    Selivanov, V. L., 1 Jan 1985, In: Siberian Mathematical Journal. 26, 1, p. 105-117 13 p.

    Research output: Contribution to journalArticlepeer-review

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

ID: 42363115