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

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

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






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


Lecture Notes in Comput. Sci., 2013, том 8036, страницы 242–249 (Mi lncs8)  

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).


DOI: https://doi.org/10.1007/978-3-642-39998-5_15


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

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

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

    ОТПРАВИТЬ: 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
  • Просмотров:
    Эта страница:26

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