| RUS ENG |
| Полная версия |
|
|
|
| ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив |
|
1981, том 105
|
| | | Общая информация | | | Содержание | | |
|
Предисловие |
2 | |
|
|
Равенство морфизмов и теорема когеррентности для бизамкнутых категорий А. А. Бабаев |
3 | |
|
|
О сложности “диких” матричных задач, изоморфизма алгебр и графов Д. Ю. Григорьев |
10 | |
|
|
Меры сложности слов на основе предиката вхождения и редактирующего расстояния А. Н. Григорьева |
18 | |
|
|
Две системы доказательства тавтологичности, основанные на методе расщеплений Е. Я. Данцин |
24 | |
|
|
Упрощение генценовских редукций классической арифметики Л. М. Коган-Бернштейн |
45 | |
|
|
Сложность аддитивных вычислений семейств целочисленных линейных форм А. Ф. Сидоренко |
53 | |
|
|
Поиск периодичностей и идентификация полслов в реальное время А. О. Слисенко |
62 | |
|
|
Категория конечных множеств и декартово замкнутые категории С. В. Соловьев |
174 | |