rewriting

Noun

 * 1) The process or result of writing again; a rewrite.
 * 2)  Any of wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms.

Translations

 * French:

Translations

 * French: