• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Product-Free Lambek Calculus Is NP-Complete
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
7 сентября 2026 г.
В НИУ ВШЭ пройдет конференция для представителей наук, изучающих медицину и здоровье
С 3 по 5 декабря в Москве состоится междисциплинарная научная конференция с международным участием «Коморбидное поле 3.0: социальное благополучие, здоровье и медицина во множественных контекстах», которая будет организована Центром сравнительных исследований социального благополучия НИУ ВШЭ при участии факультета гуманитарных наук и Санкт-Петербургской школы гуманитарных наук и искусств НИУ ВШЭ, Европейского университета в Санкт-Петербурге и Сеченовского университета. Заявки на участие принимаются до 4 октября.
4 сентября 2026 г.
Сотрудники НИУ ВШЭ - Санкт-Петербург разработали ИИ-инструмент для анализа человеческого поведения
Сотрудники и студенты НИУ ВШЭ совместно с экспертами из Санкт-Петербургского Федерального исследовательского центра РАН и Центра практического ИИ Сбера разработали нейросеть, способную одновременно распознавать эмоции, оценивать видимые черты личности и выявлять амбивалентность (неуверенность или противоречивость поведения). Результаты исследования опубликованы в журнале IEEE Access.
3 сентября 2026 г.
«Археолог - это следователь, опоздавший к месту преступления на тысячи лет»
Виктория Герасимова занимается краснолаковой керамикой, копает в Казахстане и играет в шахматы на городских площадках. В интервью проекту «Молодые ученые Вышки» она рассказала об уникальности Боспорского царства, понтийской сигиллате и коте Матроскине — бизнесмене.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Product-Free Lambek Calculus Is NP-Complete

Annals of Pure and Applied Logic. 2012. Vol. 163. P. 775–788.
Саватеев Ю. В.
Научное направление: Математика
Приоритетные направления: математика
Язык: английский
Текст на другом сайте
Ключевые слова: Lambek calculusalgorithmic complexityисчисление Ламбека алгоритмическая сложностьProof nets
Похожие публикации
Rational p-adic Hodge theory for d-de Rham-proper stacks
Prikhodko Artem, Kubrak D., Compositio Mathematica 2026 Vol. 162 No. 6 P. 1377–1438
Добавлено: 7 сентября 2026 г.
Lower Bounds on the Measure of the Support of Positive and Negative Parts of Trigonometric Polynomials
Исмаилов А. Р., Constructive Approximation 2026
Добавлено: 7 сентября 2026 г.
Конечные последовательности и перестановки, ими порождаемые
Кучерявый П. А., Математические заметки 2026 Т. 2026 № 120 С. 380–401
В работе изучаются перестановки, возникающие при упорядочивании по возрастанию дробных долей произведений элементов фиксированной целочисленной последовательности на вещественный параметр. Исследуется количество различных перестановок, которые можно получить таким образом при изменении этого параметра от нуля до единицы. ...
Добавлено: 7 сентября 2026 г.
Относительные аналитические законы взаимности
Осипов Д.В., Математический сборник 2026 Т. 217 № 9 С. 130–146
Изучаются законы взаимности, связанные с комплексными линейными расслоениями на расслоениях на ориентируемые окружности. В частности, доказывается следующий закон взаимности. Пусть B – комплексное многообразие и πi:Mi→B – расслоение на ориентируемые окружности, где индекс i пробегает конечное множество. Пусть Li и Ni – комплексные линейные расслоения на каждом многообразии Mi. Закон взаимности утверждает, что сумма всех элементов (πi)∗(c1(Li)∪c1(Ni)), где (πi)∗ – ...
Добавлено: 3 сентября 2026 г.
Orbifold Saito theory of A and D type singularities
Басалаев А. А., Раровский А. А., Journal of Singularities 2026 Vol. 30 P. 61–80
Добавлено: 1 сентября 2026 г.
Non-axiomatizability of modal predicate logics of Dedekind-complete linear orders with constant domains
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2026 Vol. 36 No. 6 Article exag026
Добавлено: 1 сентября 2026 г.
Semi-Interlaced Polytopes
Селянин Ф. И., Moscow Mathematical Journal 2026 Vol. 26 No. 2 P. 167–187
Добавлено: 31 августа 2026 г.
A new spin on polynomial relations among kappa classes
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., International Mathematics Research Notices 2026 Vol. 14 Article rnag146
Добавлено: 31 августа 2026 г.
Any Topological Recursion on a Rational Spectral Curveis KP Integrable
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., Communications in Mathematical Physics 2026 Vol. 407 No. 69
Добавлено: 31 августа 2026 г.
Сплетенный мир: кошка перевернулась. Доклад Римскому клубу
Громов В. А., Переслегин С. Б., Переслегина Е. Б. и др., СПб.: Полакс, 2026.
Механизм происходящих в мире изменений носит эволюционный, а не экологический характер. Иначе говоря, Человечество столкнулось с кризисом развития, который имеет три независимые составляющие: кризис индустриального общества (фазовый кризис), кризис научного мышления (эпистемный кризис) и кризис формата существования разума (социосистемный кризис). Доклад посвящён аспектам этого триединого кризиса и возможным путям его преодоления, не сводящимся к первичному ...
Добавлено: 31 августа 2026 г.
Infinitely many graph manifolds with unique geometrical piece that admit arbitrarily many Anosov flows
Починка О. В., Шмуклер В. И., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.
Добавлено: 31 августа 2026 г.
Multiplicity-free products of Schubert divisors
Devyatov R. A., Mathematical notes 2026 Vol. 119 No. 3 P. 782–786
Добавлено: 30 августа 2026 г.
Mukai models of Fano varieties
Bayer A., Кузнецов А. Г., Macrì E., Journal fuer die reine und angewandte Mathematik 2026 Vol. 2026 No. 836 P. 111–162
Добавлено: 30 августа 2026 г.
Mukai bundles on Fano threefolds
Bayer A., Кузнецов А. Г., Macrì E., Compositio Mathematica 2026 Vol. 162 No. 1 P. 59–99
Добавлено: 30 августа 2026 г.
Full exceptional collections on the symplectic isotropic Grassmannians
Гусева Л. А., Novikov A., Advances in Mathematics 2026 Vol. 503 Article 111211
Добавлено: 30 августа 2026 г.
Exceptional pairs on del Pezzo surfaces and spaces of compatible Feigin-Odesskii brackets
Полищук А., Rains E., Journal of the Institute of Mathematics of Jussieu 2026 Vol. 25 No. 1 P. 339–373
Добавлено: 30 августа 2026 г.
Analog of theta-lifting for a curve over dual numbers over a finite field
Kazhdan D., Полищук А., Pure and Applied Mathematics Quarterly 2026 Vol. 22 No. 3 P. 1115–1166
Добавлено: 30 августа 2026 г.
Complexity of reasoning in Kleene algebra with sum-of-letters hypotheses
Stepan L. Kuznetsov, , in: Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II. (LNCS, volume 16689)Vol. 16689.: Cham: Springer, 2026. P. 161–177.
Добавлено: 26 июля 2026 г.
New bound on S1× S2-setting Bell locality of a nonseparable Werner state
Лубенец Е. Р., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.
Добавлено: 21 июля 2026 г.
On functional equations for Chow polylogarithms
Болбачан В. С., / Series math "arxiv.org". 2024.
Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...
Добавлено: 16 июля 2026 г.
On Goncharov’s conjecture in next to Milnor degree
Болбачан В. С., / Series math "arxiv.org". 2024.
Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...
Добавлено: 16 июля 2026 г.
Statistical inference based on band-limited kernels: Rational-infinitely divisible distributions and beyond
Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.
Добавлено: 9 июля 2026 г.
Strong Approximations for Markov Chains Weakly Converging to Diffusions
Конаков В. Д., Кучер Д. А., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.
Добавлено: 11 июня 2026 г.
Bifurcations and Structural Stability of Generic PC-HC Families
Доровский А. А., / Series arXiv "math". 2026.
Добавлено: 14 мая 2026 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору