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

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

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


Сиб. электрон. матем. изв.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Сибирские электронные математические известия, 2011, том 8, страницы 168–178 (Mi semr315)  
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Генерическая сложность теорий первого порядка

А. Н. Рыбалов

Омский филиал Института математики им. С. Л. Соболева СО РАН, ул. Певцова 13, 644043, Омск, Россия
PDF полного текста (706 kB) Список цитирования (2)
Список литературы:
PDF
HTML
Аннотация: Theory of generic complexity studies algorithmical problems for “almost all” inputs. A problem can be hard or undecidable in the worst case but feasible in the generic case. In this review we describe some recent results about generic complexity of the following first order theories: any undecidable first order theory (Mysnikov, Rybalov), ordered field of real numbers (Rybalov, Fedosov), Presburger arithmetic (Rybalov).
Ключевые слова: generic complexity, first order theory.
Поступила 4 июля 2011 г., опубликована 16 августа 2011 г.
Тип публикации: Статья
УДК: 510.52
MSC: 03D80
Образец цитирования: А. Н. Рыбалов, “Генерическая сложность теорий первого порядка”, Сиб. электрон. матем. изв., 8 (2011), 168–178
Цитирование в формате AMSBIB
\RBibitem{Ryb11}
\by А.~Н.~Рыбалов
\paper Генерическая сложность теорий первого порядка
\jour Сиб. электрон. матем. изв.
\yr 2011
\vol 8
\pages 168--178
\mathnet{http://mi.mathnet.ru/semr315}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr315
  • https://www.mathnet.ru/rus/semr/v8/p168
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024