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]
Kirchner
was invoked but never defined (see the help page).Pierce
was invoked but never defined (see the help page).© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search