Sentence examples for reduction rule from inspiring English sources

We'll talk about the order of applying reduction later, for now we simply note that one can apply a reduction rule to any subterm of a lambda expression.

Traditionally, when the E.P.A. puts forth such a pollution reduction rule, it includes a requirement for polluting entities to purchase existing technology, such as smokestack "scrubbers," to cut pollution.

To account for their behavior in a design context, a site-dependent reduction rule proposed elsewhere for fixed-base systems is suitably adjusted for interacting systems, using the solution for the non-linear replacement oscillator.

The solution, by means of a computer, to this problem not only gives a bound on the running time of the algorithm, but can also give an indication on where to look for a new reduction rule, often giving a new, possibly faster algorithm.

This issue is solved in our work by applying gamma duplication formula and reduction rule to one of the component distributions.

Now, application of gamma reduction rule (see Appendix) to this will transform the integral to the format of Meijer G-function.

Based on these six reduction rules, a search algorithm is proposed.

We write M → N when we don't wish to distinguish between the types of reduction rules.

Reduction rules in Interaction Nets are constrained to pattern match exactly one argument at a time.

A number of size reduction rules are proposed which speed up getting optimal solution(s).

The new definition provides an important theoretical basis for setting reliable reduction rules.