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

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

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


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




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

Известия Российской академии наук. Серия математическая, 2011, том 75, выпуск 3, страницы 189–222
DOI: https://doi.org/10.4213/im4118 (Mi im4118) 		 
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Применение сетей доказательств для исследования фрагментов исчисления Ламбека

Ю. В. Саватеев

Московский государственный университет им. М. В. Ломоносова
PDF полного текста (591 kB) PDF английской версии (389 kB) Список цитирования (3)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/im4118
Аннотация: С помощью сетей доказательств исследуется алгоритмическая сложность проблемы выводимости в некоторых фрагментах исчисления Ламбека. Доказана NP-полнота этой задачи для одностороннего фрагмента и для фрагмента без умножения, а также для вариантов этих фрагментов, допускающих пустые антецеденты.
Библиография: 12 наименований.
Ключевые слова: исчисление Ламбека, алгоритмическая сложность, сети доказательств.
Поступило в редакцию: 01.06.2009
Исправленный вариант: 10.11.2010
Англоязычная версия:
Izvestiya: Mathematics, 2011, Volume 75, Issue 3, Pages 631–663
DOI: https://doi.org/10.1070/IM2011v075n03ABEH002547
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.662
MSC: 03B47, 03F20, 03F52
Образец цитирования: Ю. В. Саватеев, “Применение сетей доказательств для исследования фрагментов исчисления Ламбека”, Изв. РАН. Сер. матем., 75:3 (2011), 189–222; Izv. Math., 75:3 (2011), 631–663
Цитирование в формате AMSBIB
\RBibitem{Sav11}
\by Ю.~В.~Саватеев
\paper Применение сетей доказательств для~исследования~фрагментов исчисления Ламбека
\jour Изв. РАН. Сер. матем.
\yr 2011
\vol 75
\issue 3
\pages 189--222
\mathnet{http://mi.mathnet.ru/im4118}
\crossref{https://doi.org/10.4213/im4118}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2847787}
\zmath{https://zbmath.org/?q=an:1231.03022}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2011IzMat..75..631S}
\elib{https://elibrary.ru/item.asp?id=20358797}
\transl
\jour Izv. Math.
\yr 2011
\vol 75
\issue 3
\pages 631--663
\crossref{https://doi.org/10.1070/IM2011v075n03ABEH002547}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000292303800008}
\elib{https://elibrary.ru/item.asp?id=18008171}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-80053538980}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im4118
  • https://doi.org/10.4213/im4118
  • https://www.mathnet.ru/rus/im/v75/i3/p189
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Статистика просмотров:
    Страница аннотации:404
    PDF русской версии:187
    PDF английской версии:19
    Список литературы:44
    Первая страница:7
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024