Кесуді жою
method
ID: cutelimination
Нысан мәліметтері
Негізгі ақпарат
Нысан ID
cutelimination
Нысан түрі
Method
Ағылшын белгісі
Cut Elimination
Орыс белгісі
Устранение разрезов
Қазақ белгісі
Кесуді жою
Жиілік
1
Сипаттама
Ағылшын сипаттамасы
A process in proof theory that eliminates certain cuts in proof nets.
Орыс сипаттамасы
-
Қазақ сипаттамасы
-