Web Results

Abstract rewriting system

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;...

4 The Redex Reference - Racket Documentation

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

Alternatively, use the redex/reduction-semantics and redex/pict libraries, which provide only non-GUI ..... Recognized specially within reduction-relation.

Mindfulness-based stress reduction in relation to quality of ... - NCBI

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 ...

Mindfulness-based stress reduction in relation to quality of ... - NCBI

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.

Bacterial ability in AsIII oxidation and AsV reduction: Relation to ...

www.sciencedirect.com/science/article/pii/S004565351401474X

The relationship between bacterial ability in arsenic transformation, siderophore production, and P uptake was investigated using six arsenic-resistant bacteria.

OXIDATION AND REDUCTION RELATIONS BETWEEN ...

www.jbc.org/content/91/2/569.full.pdf

pound is primarily a process of oxidation and reduction. All ... relation- ships which must always hold true. If the fermentation is anaerobic, oxidation of one ...

Arsenic(V) Reduction in Relation to Iron(III) Transformation and ...

aem.asm.org/content/80/10/3198.full

Arsenic(V) Reduction in Relation to Iron(III) Transformation and Molecular Characterization of the Structural and Functional Microbial Community in Sediments of ...

Reduction as an A Posteriori Relation - Philsci-Archive

philsci-archive.pitt.edu/12099/

May 19, 2016 ... Reduction between theories in physics is often approached as an a priori relation in the sense that reduction is often taken to depend only on a ...

A directed relation graph method for mechanism reduction

www.sciencedirect.com/science/article/pii/S0082078404001973

Mar 1, 2005 ... A systematic approach for mechanism reduction was developed and demonstrated. The approach consists of the generation of skeletal ...

Mutant reduction based on dominance relation for weak mutation ...

www.sciencedirect.com/science/article/pii/S0950584916300805

May 6, 2016 ... Context: As a fault-based testing technique, mutation testing is effective at evaluating the quality of existing test suites. However, a large number ...

More Info

4 Reduction Relations - Download Racket

download.racket-lang.org

Defines a reduction relation casewise, one case for each of the clauses beginning with --> (or with arrow, if specified). Each of the patterns refers to the language ...

3. Reduction relations - RISC

www.risc.jku.at

frame of binary relations on arbitrary sets, so-called reduction relations (compare G. ... reduction relation −→ is recursive, i.e. for given x, y ∈ M we can decide ...

Reduction Relations - Formalized Mathematics

fm.mizar.org

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.