catflap.org Online Dictionary Query |
From The Free On-line Dictionary of Computing (27 SEP 03) : [ foldoc ]
redex
Reducible Expression. An expression matching the left hand
side of a reduction rule or definition.
From English Wiktionary: All languages (2023-07-27) : [ dictinfo.com:wikt-en-ALL-2023-07-27 ]
redex
n.
(lb en mathematics) Something to be reduced according to the rules of
a formal system.
From English Wiktionary: English language only (2023-07-27) : [ dictinfo.com:wikt-en-en-2023-07-27 ]
redex
n.
(lb en mathematics) Something to be reduced according to the rules of
a formal system.
From English Wiktionary: Western, Greek, and Slavonic languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western_Greek_Slavonic-2023-07-27 ]
redex
n.
(lb en mathematics) Something to be reduced according to the rules of
a formal system.
From English Wiktionary: Western languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western-2023-07-27 ]
redex
n.
(lb en mathematics) Something to be reduced according to the rules of
a formal system.