en.wikipedia.org/wiki/Abstract_rewriting_system

In mathematical logic and theoretical computer science, an abstract rewriting
system is a ... Consequently, some authors define the **reduction relation** → as the
indexed union of some relations; for instance if → 1 ∪ → 2 =→ {\displaystyle ...

docs.racket-lang.org/redex/The_Redex_Reference.html

Alternatively, use the redex/**reduction**-semantics and redex/pict libraries, which ....
define-judgment-form, or define-**relation**) in which case there is no constraint.

docs.racket-lang.org/redex/tutorial.html

The model includes a standard evaluation **reduction relation** and a type system.
Along the way, the tutorial demonstrates Redex's support for unit testing, random
...

plato.stanford.edu/entries/physics-interrelate

Showing how these derivations are possible for “paradigm” examples of
intertheoretic **reduction** turns ...

www.cs.princeton.edu/courses/archive/spr96/cs441/notes/l9.html

A reduction semantics or rewriting semantics defines an an evaluation function ...
The **reduction relation** ->* is the reflexive and transitive closure of the simpler ...

fm.mizar.org/1996-5/pdf5-4/rewrite1.pdf

The completion of a **reduction relation** R is a complete reduction rela- tion
equivalent to R such that convertible elements have the same normal forms.

www.ncbi.nlm.nih.gov/pubmed/12883107

Mindfulness-based stress **reduction** in **relation** to quality of life, mood, symptoms
of stress, and immune parameters in breast and prostate cancer outpatients.

stackoverflow.com/questions/47000068/call-by-need-and-call-by-name-reduction-relation-semantics

Oct 29, 2017 **...** Currently I cannot write this in Tex, but the main thing is: when using pure
functions the evaluated value of a function with the same ...

www.ncbi.nlm.nih.gov/pubmed/14749092

Mindfulness-based stress **reduction** in **relation** to quality of life, mood, symptoms
of stress and levels of cortisol, dehydroepiandrosterone sulfate (DHEAS) and ...