Ю. В. Саватеев, “Распознавание выводимости для исчисления Ламбека с одним делением”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2009, номер 2,страницы 59

Эта публикация цитируется в 4 статьях

Краткие сообщения

Распознавание выводимости для исчисления Ламбека с одним делением

Ю. В. Саватеев

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: В работе описывается полиномиальный алгоритм для определения выводимости в исчислении Ламбека с одним делением.

Ключевые слова: исчисление Ламбека, алгоритмическая сложность.

УДК: 510.66

Поступила в редакцию: 21.04.2008