РУсскоязычный Архив Электронных СТатей периодических изданий
Вестник Московского университета. Серия 1. Математика. Механика/2011/№ 3/

О длине совмещающего типа в исчислении Ламбека

В настоящей статье предлагается алгоритм построения типа C (в случае, если он существует) и доказывается квадратичная верхняя оценка его длины.

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

Похожие документы: