1. An information technology for efficiency analysis of recursive algorithms using standard complexity recurrences

   • G. P. Kozhevnikova
   • S. O. Oleshko

   Cybernetics Pages: 657 - 671

2. Decidability of the equivalence problem for deterministic pushdown automata

   • V. Yu. Meitus

   Cybernetics Pages: 672 - 690

3. Maximal local classes of partial functions of infinite-valued logic

   • B. A. Romov

   Cybernetics Pages: 691 - 699

4. Exact bounds on failure probability in the “strength-load” model with incomplete information

   • L. S. Stoikova
   • G. A. Marchuk

   Cybernetics Pages: 700 - 705

5. Logic inference using formulas with temporal connectives

   • S. E. Bogomolov

   Cybernetics Pages: 706 - 712

6. Population approach to environmental problems

   • N. V. Yarovitskii
   • N. I. Kostina
   • Z. Zh. Ekeeva

   Systems Analysis Pages: 713 - 721

7. A combinatorial decision-generating method for expert systems in complex system control

   • A. E. Litvinenko

   Systems Analysis Pages: 722 - 726

8. An orthogonal descent algorithm to find the zero of a convex function, unsolvability test, and rate of convergence

   • M. B. Shchepakin

   Systems Analysis Pages: 727 - 734

9. Some procedures for the construction of coordinated solutions in fractional-linear distributed systems

   • N. N. Trenev

   Systems Analysis Pages: 735 - 738

10. Formalized analysis of complex systems. II

    • P. M. Ivanov

    Systems Analysis Pages: 739 - 744

11. Choosing a linear regression from expert judgments

    • V. B. Golovchenko
    • S. I. Noskov

    Systems Analysis Pages: 745 - 750

12. Hypertext: A new information technology

    • T. A. Grinchenko

    Software-Hardware Systems Pages: 751 - 765

13. Verification of linear algebra programs in the spektr system

    • V. A. Nepomnyashchii
    • A. A. Sulimov

    Software-Hardware Systems Pages: 766 - 774

14. Systolic array implementation of some iterative algorithms for solving systems of linear algebraic equations

    • R. Vyzhikovski
    • L. D. Elfimova
    • Yu. S. Kanevskii

    New Tools in Cybernetics, Informatics, Computer Science, and Systems Analysis Pages: 775 - 784

15. Committee-based inductive inference

    • A. M. Gupal
    • A. M. Tsvetkov

    Brief Communications Pages: 785 - 787

16. Experimental comparison of algorithms for the problem of the maximum set of pairwise incomparable vertices in a digraph

    • Yu. V. Voitishin

    Brief Communications Pages: 788 - 791

17. Inherited extension of many-sorted theories

    • V. P. Makarov

    Brief Communications Pages: 792 - 795

18. Complexity and synthesis of minimal logic circuits using multiplexers

    • V. I. Lazarev

    Brief Communications Pages: 796 - 799

19. A finite-step method for limit extremal problems

    • B. N. Pshenichnyi
    • K. V. Nashempa

    Brief Communications Pages: 800 - 803

20. Application of Halton's sequences in the Monte-Carlo method

    • N. F. Trubitsyn
    • A. V. Shostak

    Brief Communications Pages: 804 - 807

21. A thermophysical data bank: Architecture and implementation

    • M. S. Trakhtengerts
    • A. B. Sladkov

    Brief Communications Pages: 808 - 811