Устранение разрезов
method
ID: cutelimination
Детали сущности
Основная информация
ID сущности
cutelimination
Тип сущности
Method
Английская метка
Cut Elimination
Русская метка
Устранение разрезов
Казахская метка
Кесуді жою
Частота
1
Описание
Английское описание
A process in proof theory that eliminates certain cuts in proof nets.
Русское описание
-
Казахское описание
-