Studies in Constructive Mathematics and Mathematical Logic: Part I von Steklov, V. A, Slisenko, A. O

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

Studies in Constructive Mathematics and Mathematical Logic: Part I von Slisenko, A. O

Volltext

Boris Abramovich Trakhtenbrot von Artemov, S. N., Barzdiņš, J. M., Bokut’, L. A., Gurevich, Yu. Sh, Dekhtyar’, A. M., Levin, L. A., Lomazova, I. A., Matiyasevich, Yu. V., Nepomnyashchii, V. A., Novikov, S. P., Rabinovich, A., Sazonov, V. Yu, Slisenko, A. O., Sokolov, V. A., Trakhtenbrot, M. B., Shilov, N. V.

Volltext

Studies in Constructive Mathematics and Mathematical Logic: Part I von Slisenko, A. O

Volltext

Context-free grammars as a tool for describing polynomial-time subclasses of hard problems von Slisenko, A.O.

Volltext

Complexity problems in computational theory von Slisenko, A O

Volltext

String-matching in real time: Some properties of the data structure von Slisenko, A. O.

Volltext

Computational complexity of string and graph ident ification von Slisenko, A. O.

Volltext

Nikolai Aleksandrovich Shanin (on his seventieth birthday) von Matiyasevich, Yu V, Mints, G E, Orevkov, V P, Slisenko, A O

Volltext

What can we do with problems of exhaustive search? von Adel'son-Vel'skii, G. M., Slisenko, A. O.

Volltext

Sergei Yur'evich Maslov (obituary) von Davydov, G V, Matiyasevich, Yu V, Mints, G E, Orevkov, V P, Slisenko, A O, Sochilina, A V, Shanin, N A

Volltext

NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday) von Maslov, S Yu, Matiyasevich, Yu V, Mints, G E, Orevkov, V P, Slisenko, A O

Volltext

ON MAXIMAL CONTINUITY REGULATORS FOR CONSTRUCTIVE FUNCTIONS von Slisenko, A. O.

Volltext

LEBESGUE INTEGRAL IN CONSTRUCTIVE ANALYSIS von Demuth, Oswald

Volltext

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

Volltext

NORMAL FORM FOR DEDUCTIONS IN PREDICATE CALCULUS WITH EQUALITY AND FUNCTIONAL SYMBOLS von Lifshits, V. A.

Volltext

ON THE CORRECTION OF UNPROVABLE FORMULAS von Daydov, G. V.

Volltext

SEQUENTIAL MODIFICATION OF CONSTRUCTIVE LOGIC CALCULUS FOR NORMAL FORMULAS WITHOUT STRUCTURAL DEDUCTION RULES von Plyushkevychus, R. A.

Volltext

PROBLEM OF DECIDABILITY FOR SOME CONSTRUCTIVE THEORIES OF EQUALITIES von Lifshits, V. A.

Volltext