| 1987 | Evaluatiobn of Cardinalities of Some Families of -Classes in P | I. G. Perfilyeva |
| 1987 | Linear Test Procedures of Recognition. | V. I. Pereyaslavsky |
| 1987 | Statistically Effective Algorithms for Automata Control. | V. N. Noskov |
| 1987 | The Degrees of Nondeterminism in Pushdown Automata. | Ildar R. Nasyrov |
| 1987 | Adaptive Strategies for Partially Observable Controlled Ranom Series. | V. I. Mukhin |
| 1987 | Metric Properties of Random Sequence. | R. G. Mubarakzianov |
| 1987 | D-Representing Code Problem Solution. | G. L. Movsisian, Zh. G. Margarian |
| 1987 | On the Programs with Finite Development. | Mikhail Ju. Moshkov |
| 1987 | Some Formal Systems of the Logic Programming. | Grigori Mints |
| 1987 | A Solving of Problems on Technological Models. | V. J. Mikhailov |
| 1987 | Estimation Algorithms of Infinite Graphs Percolation Threshold. | M. V. Men'shikov, S. A. Zuev |
| 1987 | The Power of Nondeterminism in Polynominal-size Bounded-width Branching Programs. | Christoph Meinel |
| 1987 | Diophantine Complexity. | Yu. Matijasevich |
| 1987 | On Construction of a Complete System of Compression Functions and on Complexity of Monotone Realization of Threshold Boolean Functions. | Sergej A. Lozkin, A. A. Semenov |
| 1987 | On the Complexity of Realizing Some Systems of the Functions of the Algebra of Logic by Contact and Generalized Contact Circuits. | Sergej A. Lozkin, M. A. Koshkin |
| 1987 | Procedural Implementation of Algebraic Specifications of Abstract Data Types. | Irina A. Lomazova |
| 1987 | Algebras with Approximation and Excursive Data Structures. | Alexander A. Letichevsky |
| 1987 | Built-in Self-testing of Logic Circuits Using Imperfect Duplication. | R. Kh. Latypov |
| 1987 | The Problem of Minimal Implicating Vector. | S. E. Kuznetsov, N. N. Nurmeev, F. I. Salimov |
| 1987 | On One Approximate Algorithm for Solving Systems of Linear Inequalities with Boolean Variables. | Nikolai N. Kuzjurin |
| 1987 | On the Conditions of Supplementicity in Functional Systems. | V. B. Kudrjavitzev |
| 1987 | Exponential Lower Bounds for Real-Time Branching Programs. | Klaus Kriegel, Stephan Waack |
| 1987 | On the Complexity of Analyzing Experiments for Checking local Faults of an Automaton. | V. A. Kozlovskiy |
| 1987 | Verification of Programs with Higher-Order Arrays. | Wojciech Kowalczyk, Pawel Urzyczyn |
| 1987 | On Generalized Process Logic. | Vadim E. Kotov, Ludmila Cherkasova |