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
Гончаров С.С., Найт Дж. Ф. [2002] Вычислимые структурные и антиструктурные теоремы Алгебра и логика, 41, № 6, 639-681 03.09.75 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Калверт У., Харизанова В. С., Найт Дж. Ф., Миллер С. [2006] Индексные множества вычислимых моделей Алгебра и логика, 45, № 5, 538-574 08.01.213 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Калверт У., Камминс Д. , Найт Дж. Ф., Миллер С. [2004] Сравнение классов конечных структур Алгебра и логика, 43, № 6, 666-701 05.12.69 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Гончаров С.С., МакКой Ч. Ф., Найт Дж. Ф., Харизанова В.С. [2004] Относительно гипериммунные отношения на структурах Алгебра и логика, 43, № 2, 170-183 06.02.66 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Гончаров С.С., Морозов А. С., Найт Дж. Ф., Ромина А. В., Харизанова В. С. [2005] Об автоморфных кортежах элементов в вычислимых моделях Сибирск. матем. журнал, 46, № 3, 523-532 07.05.125 статья Вернуться ...
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.