Новые доказательства важных теорем бестипового экстенсионального исчисления

Лялецкий А.А.
Новые доказательства важных теорем бестипового экстенсионального исчисления

Вид документа: Стаття періодичного видання
Рiк видання: 2014
Автор: Лялецкий А.А. Вид автора: персона
Мова: Російська Обсяг: С.53-63
Шифр: 519.7 УДК: 519.7

Аннотацiя:

бестиповое эктенсиональное исчисление, откладывание редукции, теорема о нормальной форме, теорема нормализации для редукции

Є складовою частиною документа: Кибернетика и системный анализ