Term rewriting

From Wacklepedia - The Free Encyclopedia

Term rewriting is a special form of rewriting.

This article is a stub. You can help Wikipedia by expanding it.