SN
Strong Normalization
Other languages
强正规化
强正規化
Strong Normalization
Forte normalisation positive
Regularización fuerte
Normalização forte
строгое упорядочение
تطبيع قوي
Starke Normalisierung
強い正規化
강 정 규 화
ปกติแข็งแรง
Strong Normalization