Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Соловьев В.Д. [1976] Супергиперпростые множества Изв. Вузов. Мат., № 2, 108-110 76.11.77 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Соловьев В.Д. [1974] Q -сводимость и гипергиперпростые множества Вероят. методы и кибернетика, Казань, Из-во КГУ, № 10-11, 121-128 74.10.80 OS Q Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Соловьев В.Д. [1982] Структура замкнутых классов вычислимых функций n аргументов Изв. Вузов. Мат., № 12, 51-56. 83.05.55 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Соловьев В.Д. [1995] Об одном семействе предполных классов рекурсивных функций и предикатов Изв. Вузов. Мат., № 8, 57-62 96.06.91 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M., Соловьев В.Д. [1978] Эффективизация определений классов простых множеств Сб. Алгоритмы и автоматы, Казань. Из-во КГУ, 100-108 79.В8.497 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M., Надыров Р.Ф., Соловьев В.Д. [1977] Критерий полноты рекурсивно перечислимых множеств и некоторые обобщения теоремы о неподвижной точке Изв. Вузов. Мат., № 4, 3-7 77.11.92 OS ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Соловьев В.Д. [1976] Некоторые обобщения понятия сводимости и креативности Изв. Вузов. Мат., № 3, 65-72 76.11.74 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Соловьев В.Д. [1989] Полнота систем общерекурсивных функций и предикатов, I Изв. Вузов. Мат., № 8, 56-63 90.03.47 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Соловьев В.Д. [1989] Полнота систем общерекурсивных функций и предикатов, II Изв. Вузов. Мат., № 9, 60-66 90.07.35 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Соловьев В.Д. [1993] Программно-замкнутые классы общерекурсивных функций и предикатов конечного ранга Изв. Вузов. Мат., № 9, 45-60 94.11.29 статья Вернуться к ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.С Савельев А.А. Савкова М.И. Сакунова Е.С. Селиванов В.Л. Семенов А.Л. Скордев Д. Смальян Р. Соар Р. Соколов В.А. Соловьев В.Д. Соломон Д. Р. Солон Б.Я. Сорби А. Стукачев А.И. Судоплатов С.В. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.