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
Арсланов M.M. [2007] Иерархия Ершова Казань, Из-во КГУ ? книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1969] Об эффективно гиперпростых множествах Алгебра и логика, 8, № 2, 143-154 70.01.68 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1968] Две теоремы о рекурсивно перечислимых множествах Алгебра и логика, 7, № 3, 4-9 ? RS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1988] О структуре степеней ниже 0 / Изв. Вузов. Мат., № 7, 27-33 ? O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1987] Локальная теория степеней неразрешимости и Δ 2 0 -множества Казань, Из-во КГУ 88.06.45 книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1986] Рекурсивно перечислимые множества и степени неразрешимости Казань, Из-во КГУ 87.01.29 книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1989] Полнота в арифметической иерархии и неподвижные точки Алгебра и логика, 28, № 1, 3-17 90.01.38 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1985] Эффективно гипериммунные множества и мажоранты Мат. заметки, 38, № 2, 302-309 85.12.35 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1998] Алгебраические структуры алгоритмической природы НИИММ КазГУ, 1993-1997, Казань, 31-39 03.11.82 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1985] Структурные свойства степеней ниже 0 / ДАН СССР, 283, № 2, 270-273 85.12.35 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1985] Об одном классе гиперпростых неполных множеств Мат. заметки, 38, № 6, 872-875; 984-985 86.04.51 S статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1970] О полных гиперпростых множествах Изв. Вузов. Мат., № 4, 30-36 70.09.59 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1985] m -сводимость и неподвижные точки Сб. Сложностные проблемы мат. логики, Калинин, 11-18 86.02.46 S статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1969] О полных гипергиперпростых множествах Сб. аспирантских работ, Казань, Из-во КГУ, 119-125 70.07.83 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M., Калимуллин И.Ш., [2003] Исследования по теории вычислимости Сб. "На рубеже веков",Каз. мат. об-во, 50-68 ? статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1993] Полнота арифметических множеств под теоретико-множественными операциями Изв. Вузов. Мат., № 9, 3-7 94.11.27 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1969] О вложении рекурсивно перечислимых множеств Сб. аспир. работ Казанск. ун-та, Казань, 9-16 69.11.53 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1986] Оператор скачка и T -неподвижные точки Сб. Логич. методы построения программ, Калинин, 6-9 87.04.45 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [2008] Структурная теория степеней неразрешимости Сб. НИИ матем. и мех., Казань, Из-во КГУ, 54-68 09.09.119 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1993] Свойства слабой плотности d -р.п. степеней Сб. Методы и системы технической диагностики, Саратов, СГУ, 5-8 ? статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1981] О некоторых обобщениях теоремы о неподвижной точке Изв. Вузов. Мат., № 5, 9-16 81.11.56 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M., Калимуллин И.Ш., Купер С.Б. [2003] Свойства разложения тотальных степеней по перечислимости Алгебра и логика, 42, №1, 3-25 04.05.85 статья Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1985] Семейства рекурсивно перечислимых множеств и их степени неразрешимости Изв. Вузов. Мат., 275, № 4, 13-19 85.10.60 S статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. , Кехайапулу Н. [2006] Слабые представления вычислимых частично-упорядоченных полугрупп Изв. Вузов, Мат., № 3, 3-8 06.11.21 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1982] Об одной иерархии степеней неразрешимости Вероят. методы и кибернетика, Казань, Из-во КГУ, № 18, 10-17 83.В2.583 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1979] Слабо рекурсивно перечислимые степени и предельная вычислимость Вероят. методы и кибернетика, Казань, Из-во КГУ, № 15, 3-9 79.12.40 OS статья ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1985] Эффективно иммунные, эффективно гипериммунные множества и их степени неразрешимости Вероят. методы и кибернетика, Казань, Из-во КГУ,...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [2002] Таблично-полные множества и Колмогоровская сложность вычислений Юбилейный сб. избранных трудов членов АН РТ, Казань, Фолиант, 199-209 ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1976] Одна теорема о плотности рекурсивно перечислимых множеств относительно сводимости по Тьюрингу Вероят. методы и кибернетика, Казань,...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M., Соловьев В.Д. [1978] Эффективизация определений классов простых множеств Сб. Алгоритмы и автоматы, Казань. Из-во КГУ, 100-108 79.В8.497 O статья Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M., Надыров Р.Ф., Соловьев В.Д. [1977] Критерий полноты рекурсивно перечислимых множеств и некоторые обобщения теоремы о неподвижной точке Изв....
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.А Агафонов В.Н. Адян С.И. Айзенштейн М.Х. Акопджанян Д.Г. Алаев П.Е. Алтаев А.В. Амстиславский В.И. Арсланов M.M. Асатрян О.С. Ахтямов Р.В. Ашаев И.В. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.