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

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

Авторы

Сорокин А.А.

Тэги

исчисление Ламбека Ламбека исчисление интерпретация в свободной группе совместимость совмещающий тип

Тематические рубрики

Прикладные науки. Медицина. Технология

Предметные рубрики

Физико-математические науки

В этом же номере:

Градуированные варианты теоремы Голди, Проблема делителей Ингама с бесквадратными числами, ...

Резюме по документу**

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

** - вычисляется автоматически, возможны погрешности

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

Похожие документы из РУАЭСТ
|
Похожие документы из Руконт

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

Помощь:

Участники: