REDEX


Also found in: Encyclopedia.
AcronymDefinition
REDEXReducible Expression (lambda calculus)
REDEXRanging Equipment Diagnostic Expert (system)
References in periodicals archive ?
Redex Industries' commitment to innovation is evident with such activities as the planned introduction of two new SKUs--a body cream made with shea butter and a hand cream featuring vitamin E--in the first quarter of 2016.
Redex Industries
Let r be a redex in soliton graph G, and assume that [G.
Deterministic soliton graphs
OLD bangers everywhere can be saved from the scrapheap, says Holt Lloyd in launching its latest Redex Oil Additive treatments.
A really bright idea; THE MAX FACTOR
Orthogonal systems have the property that in every term t not in normal form, there exists a redex called needed that must "eventually" be reduced to compute the normal form of t [Huet and Levy 1991; Klop and Middeldorp 1991; O'Donnell 1977].
A Needed Narrowing Strategy
pos]) is called redex, its nodes redex nodes, its edges redex edges.
Graph Rewrite Systems for Program Optimization
But that was also when you had an ambling pensioner or a spotty youth coming out of the booth and pumping your chosen liquid (plus a squirt from the Redex can) into the car for you while you just sat there counting the dead flies on your windscreen (were there really more flies in those days as well?
Post Style: The world according to Sid Langley
PHOTO : Louisiana-Pacific offers Arcata industrial particleboard, Redex phenolic particleboard, Oro-pine MDF and Missoula ultraviolet treated particleboard.
Panel industry targets value-added services
MAGPOWR Maxcess International Merobel Redex Montalvo Corporation Tapeswitch Corporation Tidland Corporation
Equipment cross reference
Once the secret of America's heartland, Udderly Smooth has been making even the driest and most chapped skin feel "udderly smooth" for more than 40 years, according to Lorraine Winterink, director of marketing for Redex.
Redex targets variety of skin care needs
Contractor name : REDEX ANONYME DEVELOPMENT MANAGEMENT COMPANY AND REAL ESTATE OPERATIONS
Repair and maintenance services of building installations
Siglos XVI-XVIII>>, REDEX, Revista de Educacion de Extremadura, 2 (2011), pp.
Educacion, familia y poder en los colegios universitarios de Salamanca en el Antiguo Regimen
I] means that there is an f in F and [there exist]p [member of] P which has a redex in f.
Error-patterns within "Next-Step-Guidance" in TP-based educational systems
Acronyms browser ?
Full browser ?