Main Page | See live article | Alphabetical index Rewriting is a powerful method for dealing with equations. Some of the more common flavors are String rewriting Term rewriting Graph rewriting This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.