Zobrazeno 1 - 3
of 3
pro vyhledávání: '"M. A. Taĭtslin"'
Autor:
M A Taĭtslin, I Kh Musikaev
Publikováno v:
Mathematics of the USSR-Sbornik. 66:313-327
A certain canonical form is introduced for formulas of the logic L∞, ω(n), and it is proved that every formula of this logic is equivalent on free algebras to some canonical formula. This permits one to establish that no finite number of programs
Autor:
V. M. Tikhomirov, S. A. Stepanov, A. B. Ivanov, L. V. Kantorovich, E. B. Ershov, M. I. Voĭtsekhovskiĭ, V. G. Ushakov, Ya. Yu. Nikitin, M. S. Nikulin, L. D. Kudryavtsev, V. S. Shul’man, N. V. Butenin, T. S. Pigolkina, V. G. Prikazchikov, A. B. Bakushinskiĭ, V. M. Babich, Yu. B. Rudyak, D. D. Sokolov, L. P. Kuptsov, I. A. Kvasnikov, I. N. Vekua, R. A. Kordzadze, Yu. N. Subbotin, O. A. Ivanova, V. N. Grishin, D. A. Suprunenko, A. V. Prokhorov, B. A. Sevast’yanov, A. A. Bukhshtab, V. I. Nechaev, Yu. L. Ershov, M. A. Taĭtslin, E. B. Vinberg, E. D. Solomentsev, Yu. G. Zarkhin, Val. S. Kulikov, M. A. Shubin, V. B. Andreev, N. Kh. Rozov, M. Sh. Tsalenko, L. V. Kuz’min, L. M. Gluskin, Yu. A. Bakhturin, N. N. Vil’yams, V. V. Gorbatsevich, A. F. Leont’ev, E. P. Dolzhenko, R. L. Dobrushin, V. V. Prelov, D. V. Anosov, V. E. Plisko, N. M. Nagornyĭ, S. S. Goncharov, I. A. Lavrov, V. M. Mikheev, V. A. Zalgaller, M. V. Fedoryuk, V. G. Boltyanskiĭ, Ü. Lamiste, L. A. Sidorov, E. M. Semenov, V. P. Petrenko, S. N. Artemov, A. I. Shtern, I. I. Volkov, Yu. I. Yanov, E. G. Sklyarenko, B. M. Bredikhin, P. S. Soltan, A. M. Stepin, A. V. Prokhov, G. D. Kim, V. M. Sidel’nikov, L. N. Bol’shev, A. L. Semenov, V. I. Danilov, Ü. Lumiste, V. L. Popov, S. M. Voronin, S. V. Matveev, A. F. Kharshiladze, I. B. Vapnyarskiĭ, I. Kh. Sabitov, P. S. Modenov, Yu. A. Brychkov, A. P. Prudnikov, M. K. Samarin, A. A. Mal’tsev, A. D. Myshkis, V. E. Govorov, A. L. Onishchik, V. A. Iskovskikh, M. G. Shur, V. A. Sevast’yanov, A. S. Fedenko, B. A. Efimov, A. V. Mikhalev, E. V. Pankrat’ev, A. K. Tolpygo, A. I. Loginov, D. A. Ponomarev, E. V. Shikin, L. D. Kydryavtsev, G. V. Kuz’mina, F. P. Vasil’ev, A. V. Arkhangel’skiĭ
Publikováno v:
Encyclopaedia of Mathematics ISBN: 9780792329749
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::93415f46281c68c4653e87bcb785726e
https://doi.org/10.1007/978-1-4899-3795-7_3
https://doi.org/10.1007/978-1-4899-3795-7_3
Autor:
V. I. Pagurova, D. D. Sokolov, S. S. Marchenko, A. P. Ershov, A. I. Shtern, L. D. Kudryavtsev, M. M. Postnikov, A. I. Orlov, Yu. V. Nesterenko, V. A. Skvortsov, V. T. Filippov, Yu. I. Merzlyakov, A. L. Shmel’kin, S. A. Stepanov, A. V. Chernavskiĭ, V. S. Malakhovskiĭ, B. M. Bredikhin, M. S. Nikulin, V. B. Kudryavtsev, V. I. Sobolev, A. F. Kharshiladze, E. D. Solomentsev, V. T. Bazylev, A. V. Arkhangel’skiĭ, S. G. Kreĭn, A. V. Prokhorov, V. A. Sevast’yanov, A. M. Zubkov, B. A. Sevast’yanov, V. P. Chistyakov, N. P. Korneĭchuk, V. P. Motornyĭ, A. V. Malyshev, V. P. Motornyi, A. N. Shiryadev, R. Z. Khas’minskiĭ, A. N. Shiryaev, M. G. Shur, A. B. Ivanov, S. M. Nikol’skiĭ, L. D. Kantorovich, V. L. Makarov, S. I. Adyan, A. V. Gladkiĭ, A. N. Tikhonov, A. A. Samarskiĭ, A. G. Sveshnikov, V. S. Vladimirov, V. G. Karmanov, A. N. Kolmogorov, Yu. V. Prokhorov, G. Rozenberg, A. Salomaa, V. M. Starzhinskiĭ, M. V. Fedoryuk, S. P. Strunkov, D. A. Suprunenko, E. L. Tonkov, T. A. Germogenova, A. A. Korbut, I. I. Volkov, A. A. Sapozhenko, V. L. Popov, V. V. Rumyantsev, A. L. Onishchik, A. I. Loginov, V. S. Shul’man, V. V. Gorbatsevich, I. O. Sarmanov, D. V. Anosov, V. E. Govorov, L. N. Shevrin, N. N. Vil’yams, N. N. Vorob’ev, V. V. Fedorov, Yu. P. Ivanilov, V. V. Okhrimenko, A. M. Yaglom, I. A. Ibragimov, V. D. Kukin, I. B. Vapnyarskiĭ, L. A. Sidorov, V. V. Sazonov, A. P. Terekhin, R. A. Minlos, A. I. Galochkin, G. M. Vaĭnikko, P. S. Modenov, V. I. Nechaev, Yu. A. Brychkov, A. P. Prudnikov, I. P. Mysovskikh, P. I. Lizorkin, R. L. Dobrushin, V. V. Prelov, B. A. Pasynkov, M. I. Voĭtsekhovskiĭ, B. I. Golubov, V. B. Korotkov, E. M. Chirka, D. A. Ponomarev, A. G. Dragalin, G. I. Marchuk, Yu. E. Alenitsyn, Yu. M. Davydov, L. E. Evtushik, N. S. Bakhvalov, Ü. Lumiste, V. I. Berdyshev, I. Kh. Sabitov, P. L. Ul’yanov, V. G. Sprindzhuk, A. Kaneko, N. Kh. Rozov, V. V. Pospelov, V. A. Chuyanov, Yu. B. Rudyak, Yu. A. Kuznetsov, S. K. Sobolev, E. S. Nikolaev, V. A. Iskovskikh, A. A. Talalyan, A. T. Fomenko, A. S. Kholevo, E. B. Yanovskaya, Yu. V. Rakitskiĭ, E. G. Goluzina, E. G. D’yakonov, Yu. N. Subbotin, V. A. Zalgaller, E. I. Kovalevskaya, V. N. Remeslennikov, A. M. Nakhushev, V. P. Mikhaĭlov, O. A. Ivanova, B. V. Khvedelidze, A. M. Nakushev, Yu. D. Burago, N. I. Klimov, V. V. Afanas’ev, D. M. Smirnov, V. N. Grishin, A. D. Taĭmanov, M. A. Taĭtslin, A. A. Panchishkin, A. N. Parshin, K. A. Zhevlakov, L. A. Skornyakov, L. V. Kuz’min, A. V. Mikhalev, G. V. Kuz’mina, Yu. A. Kaz’min
Publikováno v:
Encyclopaedia of Mathematics ISBN: 9780792329756
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3eacbaa3c3d8369565f0664e3b921a07
https://doi.org/10.1007/978-1-4899-3793-3_6
https://doi.org/10.1007/978-1-4899-3793-3_6