УДК 510.66

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

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

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

Библиогр. 3.