Записки научных семинаров ПОМИ
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

2003, том 304  
| Общая информация | Содержание |


Теория сложности вычислений. VIII


Предисловие редактора
Ю. В. Матиясевич 		5–6
Слабая конструктивная арифметика второго порядка с извлечением алгоритмов, вычислимых за полиномиальное время
А. П. Бельтюков 		7–12
New models of bounded induction axioms
S. Boughattas, J.-P. Ressayre 		13–18
Формальные аксиоматические теории на основе трехзначной логики
И. Д. Заславский 		19–74
Некоторые алгебры рекурсивно перечислимых множеств и их приложения к нечеткой логике
С. Н. Манукян 		75–98
$S_{k,\exp}$ does not prove $\mathrm{NP}=\mathrm{co}-\mathrm{NP}$ uniformly
Ch. Pollett 		99–120
Destinies and decidability
P. Cégielski 		121–127
Определимость в EMSO языков объектов с событийной структурой
К. В. Шахбазян, Ю. Г. Шукурян 		128–140
Диофантова неразрешимость для некоторых функциональных полей бесконечной степени трансцендентности и положительной характеристики
А. Шляпентох 		141–167
Записки научных семинаров ПОМИ
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025