| RUS ENG |
| Полная версия |
|
|
|
| ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив |
|
2001, том 277
|
| | | Общая информация | | | Содержание | | |
|
Комбинированные иерархии конечных равнодоступных адресных машин А. П. Бельтюков |
5 | |
|
|
Алгоритмы для пропозициональной выполнимости и верхние оценки их сложности М. А. Всемирнов, Э. А. Гирш, Е. Я. Данцин, С. В. Иванов |
14 | |
|
|
Дважды экспоненциальный рост количества векторов кратностей решений систем полиномиальных уравнений Д. Ю. Григорьев |
47 | |
|
|
Верхние оценки высоты термов в решении задачи квазиунификации В. Б. Жижкун |
53 | |
|
|
Верхняя оценка высоты термов в выводах с сечениями по формулам ограниченной глубины связанных вхождений Б. Ю. Конев |
80 | |
|
|
Полиномиальная нижняя оценка для размера независимого по С. А. Норин |
104 | |