Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Соловьев В.Д. [1976] Супергиперпростые множества Изв. Вузов. Мат., № 2, 108-110 76.11.77 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Соловьев В.Д. [1974] Q -сводимость и гипергиперпростые множества Вероят. методы и кибернетика, Казань, Из-во КГУ, № 10-11, 121-128 74.10.80 OS Q Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Соловьев В.Д. [1982] Структура замкнутых классов вычислимых функций n аргументов Изв. Вузов. Мат., № 12, 51-56. 83.05.55 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Соловьев В.Д. [1995] Об одном семействе предполных классов рекурсивных функций и предикатов Изв. Вузов. Мат., № 8, 57-62 96.06.91 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Арсланов M.M., Соловьев В.Д. [1978] Эффективизация определений классов простых множеств Сб. Алгоритмы и автоматы, Казань. Из-во КГУ, 100-108 79.В8.497 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Арсланов M.M., Надыров Р.Ф., Соловьев В.Д. [1977] Критерий полноты рекурсивно перечислимых множеств и некоторые обобщения теоремы о неподвижной точке Изв. Вузов. Мат., № 4, 3-7 77.11.92 OS ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Соловьев В.Д. [1976] Некоторые обобщения понятия сводимости и креативности Изв. Вузов. Мат., № 3, 65-72 76.11.74 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Соловьев В.Д. [1989] Полнота систем общерекурсивных функций и предикатов, I Изв. Вузов. Мат., № 8, 56-63 90.03.47 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Соловьев В.Д. [1989] Полнота систем общерекурсивных функций и предикатов, II Изв. Вузов. Мат., № 9, 60-66 90.07.35 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Соловьев В.Д. [1993] Программно-замкнутые классы общерекурсивных функций и предикатов конечного ранга Изв. Вузов. Мат., № 9, 45-60 94.11.29 статья Вернуться к ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.С Савельев А.А. Савкова М.И. Сакунова Е.С. Селиванов В.Л. Семенов А.Л. Скордев Д. Смальян Р. Соар Р. Соколов В.А. Соловьев В.Д. Соломон Д. Р. Солон Б.Я. Сорби А. Стукачев А.И. Судоплатов С.В. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.