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

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

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



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






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


2003, том 304  

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


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


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