See Also
- Critical pair (logic)
- Knuth-Bendix completion algorithm
- L-systems specify rewriting that is done in parallel.
- Regulated rewriting
- Rho calculus
Read more about this topic: Reduction Systems
Famous quotes containing the word see:
“For the gods, though slow to see, see well, whenever a man casting aside worship turns folly.”
—Sophocles (497406/5 B.C.)