ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1999, ТОМ 5, ВЫПУСК 1, СТР. 193-219
М. Р. Пентус
Аннотация
Посмотреть как HTML
Посмотреть как рисунок
Посмотреть в формате LaTeX
В работе доказывается,
что синтаксическое исчисление Ламбека полно
относительно моделей на свободных полугруппах,
т. е. в нем выводимы все тождества,
связывающие умножение, левое и правое деление формальных языков,
и только они.
Полнотекстовая версия статьи в формате PostScript (99 Kb)
| Главная страница | Редколлегия | Информация для авторов |
| Поиск | Содержание журнала | Объявления |
URL страницы: http://mech.math.msu.su/~fpm/rus/99/991/99112t.htm
Изменения вносились 27 апреля 1999