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.