Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Калимуллин И.Ш. [2008] Почти вычислимо перечислимые семейства множеств Мат. сборник, 199, № 10. 33-40 09.10.116 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Калимуллин И.Ш. [2009] Равномерность сводимостей проблем представимости алгебраических систем Сибирск. матем. журнал, 50, № 2, 334-343 09.10.123 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Калимуллин И.Ш.,Пузаренко В.Г. [2009] О сводимости на семействах Алгебра и логика , 48, № 1, 31-53 09.10.12 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Калимуллин И.Ш. [2007] Спектры степеней некоторых алгебраических структур Алгебра и логика, 46, № 6, 729-744 08.09.112 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Калимуллин И.Ш. [2008] Ограничения на спектры степеней алгебраических структур Сибирск. матем. журнал, 49, № 6, 1296-1309 09.09.123 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Калимуллин И.Ш. [2000] Относительные дополнения в Δ 2 0 -степенях по перечислимости Алгебра и логика, 39, № 5, 547-566 01.05.76 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Калимуллин И.Ш., Пузаренко В.Г. [2004] О принципах вычислимости на допустимых множествах Труды ИМ СО РАН, 7, № 2, 35-71 07.07.127 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Калимуллин И.Ш. [2009] Соотношения между алгоритмическими сводимостями алгебраических систем Изв. Вузов. Мат., № 6, 71-72 09.12.231 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Калимуллин И.Ш. [2001] Об элементарных теориях полурешеток n -р.п. степеней по перечислимости Изв. Вузов. Мат., №4, 24-27 02.04.69 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Арсланов M.M., Калимуллин И.Ш., [2003] Исследования по теории вычислимости Сб. "На рубеже веков",Каз. мат. об-во, 50-68 ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Арсланов M.M., Калимуллин И.Ш., Купер С.Б. [2003] Свойства разложения тотальных степеней по перечислимости Алгебра и логика, 42, №1, 3-25 04.05.85 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.К Казанович Ю. Б. Калверт У. Калимуллин И.Ш. Каллибеков С. Камминс Д. Канович М.И. Каргаполов М. И. Касымов Н. Х. Катленд Н. Кехайапулу Н. Кинбер Е.Б. Клини С. К. Клосс Б.М. Кобзев Г.Н. Когабаев ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.