![]() |
|
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив |
1988, том 174
|
| | Общая информация | | | Содержание | | |
![]() |
Решение систем полиномиальных неравенств над вещественно замкнутым полем в субэкспоненциальное время Н. Н. Воробьев (мл.), Д. Ю. Григорьев |
3 | |
![]() |
Параллельное вычисление арифметических выражений с одноместными функциями А. А. Гаганов |
37 | |
![]() |
Сложность разрешения теории первого порядка вещественно замкнутых полей Д. Ю. Григорьев |
53 | |
![]() |
Алгоритм линейной сложности для распознавания изоморфизма плоских изображений А. Н. Григорьева |
101 | |
![]() |
Диофантова сложность Ю. В. Матиясевич |
122 | |
![]() |
Схемы доказательств в аксиоматических теориях гильбертовского типа В. П. Оревков |
132 | |
![]() |
Проблема изоморфизма для классов графов, инвариантных относительно стягиваний И. Н. Пономаренко |
147 |