Фундаментальная и прикладная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Историческая справка

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

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


Фундамент. и прикл. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Фундаментальная и прикладная математика, 1999, том 5, выпуск 1, страницы 193–219 (Mi fpm374)  
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Полнота синтаксического исчисления Ламбека

М. Р. Пентус

Московский государственный университет им. М. В. Ломоносова
PDF полного текста (1163 kB) Список цитирования (2)
Аннотация: В работе доказывается, что синтаксическое исчисление Ламбека полно относительно моделей на свободных полугруппах, т. е. в нем выводимы все тождества, связывающие умножение, левое и правое деление формальных языков, и только они.
Ключевые слова: исчисление Ламбека, свободная полугруппа.
Поступила в редакцию: 01.10.1998
Реферативные базы данных:
УДК: 519.766.23
Образец цитирования: М. Р. Пентус, “Полнота синтаксического исчисления Ламбека”, Фундамент. и прикл. матем., 5:1 (1999), 193–219
Цитирование в формате AMSBIB
\RBibitem{Pen99}
\by М.~Р.~Пентус
\paper Полнота синтаксического исчисления Ламбека
\jour Фундамент. и прикл. матем.
\yr 1999
\vol 5
\issue 1
\pages 193--219
\mathnet{http://mi.mathnet.ru/fpm374}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1799537}
\zmath{https://zbmath.org/?q=an:0959.03014}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/fpm374
  • https://www.mathnet.ru/rus/fpm/v5/i1/p193
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Фундаментальная и прикладная математика
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024