С. А. Афонин,
В. Ш. Дарсалия, Е. Е. Хазова, А. С. Шундеев
|
К разложению регулярных языков
в задаче поиска в полуструктурированных базах данных |
PS |
PDF |
В. Г. Бардаков, Л. А. Бокуть,
А. Ю. Веснин |
О проблеме скрученной
сопряженности в свободной группе |
PS |
PDF |
А. И. Будкин
|
Квазимногообразие,
порожденное свободными метабелевыми и 2-нильпотентными группами |
PS |
PDF |
В. А. Васенин, А. С. Шундеев
|
О выразительности языка описания
определений и реализаций процесса |
PS |
PDF |
В. М. Галкин
|
К гипотезе о транзитивности
L-группоидов |
PS |
PDF |
И. Ш. Калимуллин, В. Г. Пузаренко
|
О вычислимости на структурах |
PS |
PDF |
А. В. Кошелева
|
Разрешимость по допустимости некоторых
S5t-логик |
PS |
PDF |
Б. Ш. Кулпешов
|
О бинарности
счетно категоричных слабо о-минимальных теорий |
PS |
PDF |
Г. Ч. Мавликасова
|
S0-определимость
алгебраических систем в обобщенной вычислимости |
PS |
PDF |
А. С. Нудельман
|
О парадоксальности теории множеств ZF |
PS |
PDF |
В. В. Римацкий
|
Описание базиса
допустимых правил вывода табличных логик |
PS |
PDF |
А. Н. Рыбалов
|
Полиномиальные
классы сложности над алгебраическими системами |
PS |
PDF |
Е. В. Суханов
|
Сильно бескубные слова и свободные
бернсайдовы группы |
PS |
PDF |
А. Н. Фролов
|
Вычислимые копии линейных порядков
и алгебр Ершова |
PS |
PDF |
С. А. Шахова
|
О решетках доминионов
в квазимногообразиях абелевых групп |
PS |
PDF |
П. А. Шрайнер
|
Автоматическое распознавание
свойств табличности и предтабличности у суперинтуиционистских
и позитивных пропозициональных логик |
PS |
PDF |