РУАЭСТ (RUAEST)
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:
О длине совмещающего типа в исчислении Ламбека
В настоящей статье предлагается алгоритм построения типа C (в случае, если он существует) и доказывается квадратичная верхняя оценка его длины.
Авторы
Тэги
исчисление Ламбека
Ламбека исчисление
интерпретация в свободной группе
совместимость
совмещающий тип
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
В настоящей статье предлагается алгоритм построения типа C (в случае, если он существует) и доказывается квадратичная верхняя оценка его длины. <...> В настоящей статье предлагается алгоритм построения типа C (в случае, если он существует) и доказывается квадратичная верхняя оценка его длины. <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: