VDict - Definition of Root Normal Form

Computing (FOLDOC) dictionary

Root Normal Form

Jump to user comments

(RNF) Head Normal Form in graph rewriting.

Related search result for "Root Normal Form"

Words contain "Root Normal Form" in its definition in Computing (FOLDOC) dictionary:
Root Normal Form database normalisation Church-Rosser Theorem normal form Head Normal Form RNF Weak Head Normal Form Conjunctive Normal Form root head normalisation theorem more...

Comments and discussion on the word "Root Normal Form"