Rewriting

Noun

 * 1)  a wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms

Translations

 * French:

Verb
rewriting



Translations

 * French: réécrivant

rewriting rewriting rewriting rewriting rewriting