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

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

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






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


Advances in Modal Logic, 2020, том 13, страницы 425–449 (Mi aiml8)  

The ‘long rule’ in the Lambek calculus with iteration: undecidability without meets and joins

Stepan Kuznetsov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации 075-15-2019-1614
This work was performed at the Steklov International Mathematical Center and supported by the Ministry of Science and Higher Education of the Russian Federation (agreement no. 075-15-2019-1614).
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/aiml8
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:68
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024