Main Page
|
See live article
|
Alphabetical index
Term rewriting
Term rewriting
is a special form of
rewriting
.
This article is a stub. You can help Wikipedia by expanding it.