rewriting

The process or result of writing again; a rewrite.

Computer, Computing, Engineering, Human sciences, Logic, Mathematics, Natural sciences, Philosophy, Physical sciences, Science, Sciences Any of wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms.