Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Корольков Ю.Д. [1999] Вполне перечислимые множества Сибирск. матем. журнал, 40, № 3, 587-594 99.11.86 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Корольков Ю.Д. [1979] О семействах общерекурсивных функций без изолированных точек Мат. заметки, 26, № 5, 747-755 80.05.58 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Корольков Ю.Д. [1978] О семействах общерекурсивных функций с конечным числом предельных точек Алгебра и логика, 17 , № 2, 169-177 78.11.43 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Корольков Ю.Д. [1982] О сводимости индексных множеств семейств общерекурсивных функций Сибирск. матем. журнал, 23, № 1, 190-193 82.06.57 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Корольков Ю.Д. [2004] Изоморфизм индексных множеств дискретных семейств общерекурсивных функций Сибирск. матем. журнал, 45, № 5, 1136-1141 05.08.102 статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Корольков Ю.Д. [2002] Оценка сложности индексных множеств семейств общерекурсивных функций в арифметической иерархии Алгебра и логика, 41 , № 2, 155-165 03.04.55 ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Корольков Ю.Д. [1979] О вычислимых нумерациях классов рекурсивно перечислимых множеств Сб. Алгоритмические вопросы алгебры, систем и ЭВМ, Иркутск, 1979, 97-100 ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.К Казанович Ю. Б. Калверт У. Калимуллин И.Ш. Каллибеков С. Камминс Д. Канович М.И. Каргаполов М. И. Касымов Н. Х. Катленд Н. Кехайапулу Н. Кинбер ... ....А. Козьминых В.В. Кокорин А.И. Колганов Н. Колмогоров А.Н. Комбарро Э.Ф. Корольков Ю.Д. Костырко В.Ф. Крупский В.Н. Ксяо-динг Йн Кудинов О.В. Кузнецов ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.