Translation of "cut-elimination" into Portuguese
Teorema da eliminação do corte is the translation of "cut-elimination" into Portuguese.
cut-elimination
-
Teorema da eliminação do corte
theorem
-
Show algorithmically generated translations
Automatic translations of "cut-elimination" into Portuguese
-
Glosbe Translate
-
Google Translate
Add example
Add