Reduction strategy
Relation specifying a rewrite for each object, compatible with a reduction relation / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Reduction strategy?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
In rewriting, a reduction strategy or rewriting strategy is a relation specifying a rewrite for each object or term, compatible with a given reduction relation.[1] Some authors use the term to refer to an evaluation strategy.[2][3]