NP-completeness conditions for consistency verification of some types of systems of linear Diophantine dis-equations von Kosovskii, N. K., Kosovskaya, T. M., Kosovskii, N. N.

Volltext

NP-complete problems for systems of Linear polynomial’s values divisibilities von Kosovskii, N. K., Kosovskaya, T. M., Kosovskii, N. N., Starchak, M. R.

Volltext

Polynomial Upper Bounds on the Size of Changes of a RAM+BOOL Program as a Tool for Proving Belonging to FP von Kosovskii, N. K.

Volltext

NP completeness conditions for verifying the consistency of several kinds of systems of linear Diophantine congruences and equations von Kosovskii, N. K., Kosovskaya, T. M., Kosovskii, N. N.

Volltext

NP completeness conditions for verifying the consistency of several kinds of systems of linear diophantine discongruences von Kosovskii, N. K., Kosovskaya, T. M., Kosovskii, N. N.

Volltext

Mutual upper bounds of size and time for a Turing machine and a Markov–Post algorithm for mutual simulations von Kosovskii, N. K., Kosovskaya, T. M., Kosovskii, N. N.

Volltext

The number of steps for construction of a Boolean solution to polynomial congruences and systems of polynomial congruences von Kosovskii, N. K., Kosovskaya, T. M.

Volltext

Nikolai Aleksandrovich Shanin (obituary) von Vsemirnov, M A, Hirsch, È A, Grigor'ev, D Yu, Davydov, G V, Dantsin, E Ya, Zaslavskii, I D, Karavaev, E F, Konev, B Yu, Kossovskii, N K, Lifschitz, V A, Margenstern, M, Matiyasevich, Yu V, Mints, G E, Orevkov, V P, Pliuškevičius, R, Slisenko, A O, Solov'ev, S V, Chernov, V P

Volltext

Level logics von Kosovskii, N. K.

Volltext

Decision-procedures for invariant properties of short algorithms von Kosovskii, N. K.

Volltext

On constructive distribution functions von Kosovskii, N. K.

Volltext

Solutions of systems consisting of word equations and inequalities in lengths of words von Kosovskii, N. K.

Volltext

Properties of the solutions of equations in a free semigroup von Kosovskii, N. K.

Volltext

Recognition of invariant properties of algorithms von Kosovskii, N. K.

Volltext

Diophantine representations of the sequence of solutions of the Pell equation von Kosovskii, N. K.

Volltext

Algorithmic sequences from the initial class of the Grzegorczyk hierarchy von Kosovskii, N. K.

Volltext

SUFFICIENT CONDITIONS OF INCOMPLETENESS FOR THE FORMALIZATION OF PARTS OF ARITHMETIC von Kosovskii, N. K.

Volltext

Laser television display unit von Drozhzhin, A N, Kosovskii, L A, Mikhailova, L N, Chamorovskii, K I

Volltext

High-temperature reactor-converter ?Romashka? von Millionshchikov, M. D., Gverdtsiteli, I. G., Abramov, A. S., Gorlov, L. V., Gubanov, Yu. D., Efremov, A. A., Zhukov, V. F., Ivanov, V. E., Kovyrzin, V. K., Koptelov, E. A., Kosovskii, V. G., Kukharkin, N. E., Kucherov, R. Ya, Lalykin, S. P., Merkin, V. I., Nechaev, Yu. A., Pozdnyakov, B. S., Ponamarev-Stepnoi, N. N., Samarin, E. N., Serov, V. Ya, Usov, V. A., Fedin, V. G., Yakovlev, V. V., Yakutovich, M. V., Khodakov, V. A., Kompaniets, G. V.

Volltext