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

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

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


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




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

Записки научных семинаров ПОМИ, 1997, том 241, страницы 117–134 (Mi znsl484)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Уточнение оценок высоты термов в наиболее общем унификаторе

Б. Ю. Конев

Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН
PDF полного текста (247 kB) Список цитирования (1)
Аннотация: Рассматривается наиболее общий унификатор пары термов. Нас интересуют оценки высоты термов в наиболее общем унификаторе в терминах разностей глубин входящих в данные термы переменных. Под разностью глубин переменной понимается максимум разностей глубин вхождений переменных в данные термы. Подобные оценки могут применяться для оценки высот термов в доказательствах в секвенциальных исчислениях генценовского типа.
Строится семейство примеров, доказывающих экспоненциальный характер нижней оценки высот термов в наиболее общем унификаторе. Уточняются ранее известные верхние оценки высот термов в наиболее общем унификаторе. Библ. – 7 назв.
Поступило: 20.04.1997
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2000, Volume 98, Issue 4, Pages 490–499
DOI: https://doi.org/10.1007/BF02362269
Реферативные базы данных:
УДК: 510.64
Образец цитирования: Б. Ю. Конев, “Уточнение оценок высоты термов в наиболее общем унификаторе”, Исследования по конструктивной математике и математической логике. X, Зап. научн. сем. ПОМИ, 241, ПОМИ, СПб., 1997, 117–134; J. Math. Sci. (New York), 98:4 (2000), 490–499
Цитирование в формате AMSBIB
\RBibitem{Kon97}
\by Б.~Ю.~Конев
\paper Уточнение оценок высоты термов в~наиболее общем унификаторе
\inbook Исследования по конструктивной математике и математической логике.~X
\serial Зап. научн. сем. ПОМИ
\yr 1997
\vol 241
\pages 117--134
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl484}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1706198}
\zmath{https://zbmath.org/?q=an:0946.03015}
\transl
\jour J. Math. Sci. (New York)
\yr 2000
\vol 98
\issue 4
\pages 490--499
\crossref{https://doi.org/10.1007/BF02362269}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl484
  • https://www.mathnet.ru/rus/znsl/v241/p117
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024