RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Главная страница
О проекте
Программное обеспечение
Классификаторы
Полезные ссылки
Пользовательское
соглашение

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

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






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


Lecture Notes in Comput. Sci., 2016, том 9804, страницы 240–256 (Mi lncs5)  

Undecidability of the Lambek calculus with a relevant modality

Max Kanovichab, Stepan Kuznetsovc, Andre Scedrovbd

a University College London, London, UK
b National Research University Higher School of Economics, Moscow, Russian Federation
c Steklov Mathematical Institute, Moscow, Russian Federation
d University of Pennsylvania, Philadelphia, USA

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 15-01-09218-a
14-01-00127-a
Министерство образования и науки Российской Федерации NSh-9091.2016.1
Engineering and Physical Sciences Research Council
Office of Naval Research
Stepan Kuznetsov’s research was supported by the Russian Foundation for Basic Research (grants 15-01-09218-a and 14-01-00127-a) and by the Undecidability of the Lambek Calculus with a Relevant Modality 255 Presidential Council for Support of Leading Scientific Schools (grant NSh-9091.2016.1). Max Kanovich’s research was partially supported by EPSRC. Andre Scedrov’s research was partially supported by ONR. This research was performed in part during visits of Stepan Kuznetsov and Max Kanovich to the University of Pennsylvania. We greatly appreciate support of the Mathematics Department of the University. A part of the work was also done during the stay of Andre Scedrov at the National Research University Higher School of Economics. We would like to thank S.O. Kuznetsov and I.A. Makarov for hosting there. The paper was prepared in part within the framework of the Basic Research Program at the National Research University Higher School of Economics (HSE) and was partially supported within the framework of a subsidy by the Russian Academic Excellence Project ‘5–100’.


DOI: https://doi.org/10.1007/978-3-662-53042-9_14


Реферативные базы данных:

ArXiv: 1601.06303
Тип публикации: Статья
Язык публикации: английский

Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/lncs5

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Просмотров:
    Эта страница:49

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019