rnf

Từ điển Máy Tính - Foldoc Dictionary

Root Normal Form

(RNF) Head Normal Form in graph rewriting.