Translation of "cut-elimination" into Japanese
カット除去定理 is the translation of "cut-elimination" into Japanese.
cut-elimination
-
カット除去定理
theorem
-
Show algorithmically generated translations
Automatic translations of "cut-elimination" into Japanese
-
Glosbe Translate
-
Google Translate
Add example
Add