RUS  ENG
Полная версия
ЖУРНАЛЫ // Фундаментальная и прикладная математика

Фундамент. и прикл. матем., 1995, том 1, выпуск 3, страницы 729–751 (Mi fpm100)

Исчисление Ламбека и формальные грамматики
М. Р. Пентус

Эта публикация цитируется в следующих статьяx:
  1. М. Е. Вишникин, “Базовые категориальные грамматики с однозначным присвоением типов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2022, № 2, 64–67  mathnet  mathscinet  zmath; M. E. Vishnikin, “Unique typed basic categorial grammars”, Moscow University Mathematics Bulletin, 77:2 (2022), 93–96  crossref
  2. С. Л. Кузнецов, Н. С. Рыжкова, “Ограниченный фрагмент исчисления Ламбека с операциями итерации и пересечения”, Алгебра и логика, 59:2 (2020), 190–214  mathnet  crossref  mathscinet; S. L. Kuznetsov, N. S. Ryzhkova, “A restricted fragment of the Lambek calculus with iteration and intersection operations”, Algebra and Logic, 59:2 (2020), 129–146  crossref  isi
  3. С. Л. Кузнецов, “О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики”, Современные проблемы математики, механики и математической физики. II, Сборник статей, Труды МИАН, 294, МАИК «Наука/Интерпериодика», М., 2016, 141–151  mathnet  crossref  mathscinet  elib; S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138  crossref  isi  elib
  4. С. Л. Кузнецов, “О преобразовании контекстно-свободных грамматик в грамматики Ламбека”, Современные проблемы математики, механики и математической физики, Сборник статей, Труды МИАН, 290, МАИК «Наука/Интерпериодика», М., 2015, 72–79  mathnet  crossref  elib; S. L. Kuznetsov, “On translating context-free grammars into Lambek grammars”, Proc. Steklov Inst. Math., 290:1 (2015), 63–69  crossref  isi  elib


© МИАН, 2025