УДК 510.66
Распознавание выводимости для исчисления Ламбека с одним делением / Ю. В. Саватеев. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2009. № 2. С. 59-62.
В работе описывается полиномиальный алгоритм для определения выводимости в исчислении Ламбека с одним делением.
Ключевые слова: исчисление Ламбека, алгоритмическая сложность.
Библиогр. 3.