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
Фокина Е.Б. [2005] О сложности категоричных теорий с вычислимыми моделями Вестн. НГУ, Серия мат., мех., инфор., 5, № 2, 78-86 ? статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Фокина Е. Б. [2006] О спектрах вычислимых моделей Вестн. НГУ, Серия мат., мех., инфор., 6, № 4, 93–97 07.06.71 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Фокина Е.Б. [2007] Индексные множества разрешимых моделей Сибирск. матем. журнал, 48, № 5, 1167-1179 09.08.117 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Фокина Е.Б. [2008] Алгоритмические свойства языков с двумя унарными функциональными символами Вестн. НГУ, Серия мат., мех., инфор., 8. № 1, 90-101 08.ВН11.116 статья ...
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.