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

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

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






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


Lecture Notes in Computer Science, 2013, том 8036, страницы 242–249
DOI: https://doi.org/10.1007/978-3-642-39998-5_15
(Mi lncs8)
 

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

Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives

S. Kuznetsov

Moscow State University
Аннотация: We prove that any language without the empty word, generated by a conjunctive grammar in Greibach normal form, is generated by a grammar based on the Lambek calculus enriched with additive (“intersection” and “union”) connectives.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 11-01-00281-a
12-01-00888-a
Министерство образования и науки Российской Федерации NSh-5593.2012.1
This research was supported by the Russian Foundation for Basic Research (grants 11-01-00281-a and 12-01-00888-a) and by the Presidential Council for Support of Leading Scientific Schools (grant NS 5593.2012.1).
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/lncs8
  • Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:80
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024