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

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

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



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






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


Записки научных семинаров ПОМИ, 2001, том 277, страницы 80–103 (Mi znsl1430)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Верхняя оценка высоты термов в выводах с сечениями по формулам ограниченной глубины связанных вхождений

Б. Ю. Конев

Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН
Аннотация: Доказана верхняя оценка высоты термов, входящих в наиболее общий унификатор, для случая, когда множество неизвестных разбивается на два класса. Неизвестная принадлежит к первому классу, если глубины всех ее вхождений совпадают; мы называем такую неизвестную неизвестной типа сечения. Неизвестные второго типа (неизвестные не типа сечения) могут иметь вхождения произвольной глубины. Мы оцениваем сверху высоту термов в наиболее общем унификаторе в терминах количества неизвестных не типа сечения и высоты задачи унификации. Из данной оценки вытекает верхняя оценка размера термов, входящих в доказательства в секвенциальном исчислении с сечениями, при условии, что глубина связанных вхождений переменных в формулы сечения ограничена. Библ. – 18 назв.
Поступило: 29.08.2000
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2003, Volume 118, Issue 2, Pages 4982–4993
DOI: https://doi.org/10.1023/A:1025601406752
Реферативные базы данных:
УДК: 510
Образец цитирования: Б. Ю. Конев, “Верхняя оценка высоты термов в выводах с сечениями по формулам ограниченной глубины связанных вхождений”, Теория сложности вычислений. VI, Зап. научн. сем. ПОМИ, 277, ПОМИ, СПб., 2001, 80–103; J. Math. Sci. (N. Y.), 118:2 (2003), 4982–4993
Цитирование в формате AMSBIB
\RBibitem{Kon01}
\by Б.~Ю.~Конев
\paper Верхняя оценка высоты термов в выводах с~сечениями по формулам ограниченной глубины связанных вхождений
\inbook Теория сложности вычислений.~VI
\serial Зап. научн. сем. ПОМИ
\yr 2001
\vol 277
\pages 80--103
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl1430}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1865898}
\zmath{https://zbmath.org/?q=an:1072.03009}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2003
\vol 118
\issue 2
\pages 4982--4993
\crossref{https://doi.org/10.1023/A:1025601406752}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl1430
  • https://www.mathnet.ru/rus/znsl/v277/p80
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Записки научных семинаров ПОМИ
    Статистика просмотров:
    Страница аннотации:117
    PDF полного текста:46
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024