A symbolic manipulation language for hypertext systems A. A. StogniiT. A. GrinchenkoM. V. Olenin OriginalPaper Pages: 455 - 463
Finite automata over a direct product of free semigroups and groups and languages P. V. GorshkovA. B. Stavrovskii OriginalPaper Pages: 475 - 480
Generalized kolmogorov complexity and other dual complexity measures M. S. Burgin OriginalPaper Pages: 481 - 490
Automatic verification of functional programs G. A. DrobushevichK. A. Zubovich OriginalPaper Pages: 491 - 502
Control specification language for distributed computation in mis V. V. Moroz OriginalPaper Pages: 502 - 508
Optimal distribution of technological operations on an assembly line Yu. A. Zak OriginalPaper Pages: 508 - 524
An application of implicit function theorems to controllability problems of nonstationary discrete-time systems Vu Ngok Phat OriginalPaper Pages: 524 - 529
Reduction of some linear optimal control problems with integral constraints Yu. I. BerdyshevA. G. Chentsov OriginalPaper Pages: 530 - 541
Nonstationary bounds of the characteristics of markovian renewal processes in classes of “aging” distributions V. Yu. Kotlyar OriginalPaper Pages: 559 - 567
Invariance of the implication relation under mappings of implication systems A. A. Ros'Yu. V. Yashnev OriginalPaper Pages: 568 - 572
Decidable, polynomial-time, and np-complete cases of the isotone bipartite graph problem V. G. TimkovskiiL. V. Knyazeva OriginalPaper Pages: 581 - 591
Stochastic quasigradient method for optimizing the parameters of dynamic systems S. K. ZavrievA. G. Perevozchikov OriginalPaper Pages: 601 - 608