VDict - Definition of reduction rule

search result for reduction rule in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

field servoid wart assertion DACTL relational algebra inference heuristic PARULEL inline safety-critical system Official Production System full laziness beta abstraction injection Head Normal Form fact attenuation integrity constraint PLisp COMIT deductive database structural recursion lambda lifting knowledge representation Conway's Law proof ISWIM Bertrand Sturgeon's Law vanity domain comment OBJ abstract machine production system declarative language Scheme download canonical closure aeroplane rule symbolic inference lambda-calculus vannevar ML Kit T ASCII art cellular automaton code grinder C Language Integrated Production System functional programming quine artificial neural network logical XPL context clash Backus-Naur Form Security Administrator's Integrated Network Tool netiquette Joint Bi-level Image Experts Group American Standard Code for Information Interchange Charles Babbage IBM 704

First < Previous 1 2 Next > Last