rewriting
Critical pair (logic)
Knuth–Bendix completion algorithm
L-systems specify rewriting that is done in parallel.
Referential transparency in computer science
Regulated rewriting
Rho calculus
/suto3/google.iconrewriting
image rewriting
define rewriting
wikipedia rewriting
weblio rewriting
kotobank rewriting
jisho rewriting