A606221-ОХФ Калимуллин, Искандер Шагитович. Алгоритмические сводимости счетных алгебраических систем [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / И. Ш. Калимуллин ; науч. консультант М. М. Арсланов ; Гос. образоват. учреждение высш. проф. образования "Казанский государственный университет имени В. И. Ульянова-Ленина", НИИММ им. Н. Г. Чеботарева, Отд. алгебры и мат. логики. - Казань : [б. и.], 2009. - 30, [1] с. - [Алгоритмические сводимости счётных алгебраических систем] . - Библиогр.: с. 27-30. - ISBN [Б. и.]
Рубрики: математика--математическая логика Кл.слова (ненормированные): перечислимость -- алгебраические системы -- алгоритмические сводимости -- счетные алгебраические системы Доп. точки доступа: Арсланов, Марат Мирзаевич Экземпляры всего: 1 ОХФ (1) |
A607729-ОХФ Фролов, Андрей Николаевич. Счетные линейные порядки и их алгоритмическая сложность [Текст] : автореферат диссертации на соискание учёной степени доктора физико-математических наук : 01.01.06 / А. Н. Фролов ; науч. консультант М. М. Арсланов ; ФГАОУ ВПО "Казанский (Поволжский) федеральный университет". - Казань : [б. и.], 2014. - 32, [2] с. - [Счётные линейные порядки и их алгоритмическая сложность] . - Библиогр.: с. 24-32 (75 назв.). - ISBN [Б. и.]
Рубрики: математика--математическая логика Кл.слова (ненормированные): счетные линейные порядки -- вычислимости теория -- алгоритмическая сложность -- вычислимые структуры Доп. точки доступа: Арсланов, Марат Мирзаевич Экземпляры всего: 1 ОХФ (1) |