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