|
Вестник Московского университета. Серия 1: Математика. Механика, 2011, номер 4, страницы 55–57
(Mi vmumm705)
|
|
|
|
Краткие сообщения
Об исчислении Ламбека с единицей и одним делением
С. Л. Кузнецов Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Аннотация:
В статье предъявляется подстановка, сводящая выводимость в исчислении Ламбека с единицей и одним делением к выводимости в исчислении Ламбека с одним делением, допускающем пустые антецеденты. При помощи этой подстановки устанавливается существование алгоритма, за полиномиальное время проверяющего выводимость в исчислении Ламбека с единицей и одним делением.
Ключевые слова:
исчисление Ламбека, алгоритмическая сложность.
Поступила в редакцию: 01.12.2010
Образец цитирования:
С. Л. Кузнецов, “Об исчислении Ламбека с единицей и одним делением”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2011, № 4, 55–57
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm705 https://www.mathnet.ru/rus/vmumm/y2011/i4/p55
|
Статистика просмотров: |
Страница аннотации: | 66 | PDF полного текста: | 34 |
|