Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Поляков Е.А. [1998] О минимальных m -степенях Мат. заметки, 63, № 5, 795-797 00.08.45 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1967] Некоторые свойства алгебры общерекурсивных функций Кибернетика,. 2, 20-23 68.01.67 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1964] Алгебра рекурсивных функций Алгебра и логика, 3, № 1, 41-56 65.07.61 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1968] Некоторые вопросы теории рекурсивных функций Алгебра и логика, 7, № 2, 77-84 69.01.78 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1991] Об универсальной частично рекурсивных функций Мат. заметки, 49, № 2, 102-106 91.11.50 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1964] О некоторых свойствах алгебры рекурсивных функций Алгебра и логика, 3, № 3, 39-57 65.07.62 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [2001] О типах сходства и рекурсивном изоморфизме Сибирск. матем. журнал, 42, № 1, 149-152 05.08.04 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1966] О некоторых свойствах алгебр рекурсивных функций Сибирск. матем. журнал, 7, № 3, 720-723 66.11.70 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1978] Несколько замечаний об относительной рекурсивности Сб. Рекурсивные функции, Иваново, 61-70 79.07.80 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1968] О рекурсивных подмножествах множества рекурсивных функций ДАН СССР, 183, № 6, 1262-1264 69.05.67 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А., Розинас М.Г. [1977] Сводимости по перечислимости Сибирск. матем. журнал, 18, № 4, 838-845 78.02.46 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1968] Некоторые свойства алгебр рекурсивных функций ДАН СССР, 178, № 2, 296-298 68.06.72 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1981] О частично рекурсивных функциях с рекурсивным графиком Сб. Алгебраические системы, Иваново, 174-175 83.03.63 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. , Перов А.Е. [2003] F p -функции Мат. заметки, 74, № 4, 559-563 04.04.118 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1989] О типах сходства и рекурсивного изоморфизма частично рекурсивных функций Сибирск. матем. журнал, 30, № 6, 188-192 90.06.67 статья Вернуться к ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А., Розинас М.Г. [1978] Частичные степени иммунных и гипериммунных множеств Сибирск. матем. журнал, 19, № 4, 866-870 78.12.67 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1969] О формульной определимости в алгебре рекурсивных функций Уч. зап. Иван. пед. ин-та, 61, 183-187 70.01.70 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1969] О предполных классах примитивно рекурсивных функций Уч. зап. Иван. пед. ин-та, 44, 3-5 70.01.71 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1987] Невозможность конечного порождения частично рекурсивных функций унарной изотонной операцией Мат. заметки, 41, № 3, 429-432 87.07.65 статья ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А., Розинас М.Г. [1978] Соответствия между различными видами относительной вычислимости функций Мат. сборник, 107, № 1, 134-145 79.01.77 статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [1980] К теории рекурсивных функционалов и эффективных операций Изв. Вузов. Мат., №5, 37-39 80.10.39 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А. [2007] Описание эндоморфизмов алгебры функций с операциями сложения и суперпозиции Мат. заметки, 82, № 6, 891-893 08.05.93 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А., Поляков Е.А. [1966] О базисах алгебр рекурсивных функций Сибирск. матем. журнал, 7, № 5, 1059-1067 67.06.52 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Поляков Е.А., Насибуллов Х.Х. [1969] О некоторых рекурсивных схемах Уч. зап. Иван. пед. ин-та, 44, 6-10 70.01.72 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.П Павлова Е.А. Павловский Е.Н. Пальчунов Д.Е. Палютин Е.А. Пензин Ю.Г. Перетятькин М.... ... Петер Р. Петрова К.В. Пинус А.Г. Платонов М.А. Плясунов С.Ю. Подзоров С.Ю. Поляков Е.А. Посицельский С.Е Пранк Р. Пузаренко В.Г. Вернуться на главную ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.