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
Корольков Ю.Д. [1999] Вполне перечислимые множества Сибирск. матем. журнал, 40, № 3, 587-594 99.11.86 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Корольков Ю.Д. [1979] О семействах общерекурсивных функций без изолированных точек Мат. заметки, 26, № 5, 747-755 80.05.58 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Корольков Ю.Д. [1978] О семействах общерекурсивных функций с конечным числом предельных точек Алгебра и логика, 17 , № 2, 169-177 78.11.43 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Корольков Ю.Д. [1982] О сводимости индексных множеств семейств общерекурсивных функций Сибирск. матем. журнал, 23, № 1, 190-193 82.06.57 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Корольков Ю.Д. [2004] Изоморфизм индексных множеств дискретных семейств общерекурсивных функций Сибирск. матем. журнал, 45, № 5, 1136-1141 05.08.102 статья Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Корольков Ю.Д. [2002] Оценка сложности индексных множеств семейств общерекурсивных функций в арифметической иерархии Алгебра и логика, 41 , № 2, 155-165 03.04.55 ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Корольков Ю.Д. [1979] О вычислимых нумерациях классов рекурсивно перечислимых множеств Сб. Алгоритмические вопросы алгебры, систем и ЭВМ, Иркутск, 1979, 97-100 ...
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.