RNF ⇝

Root Normal Form

(RNF) Head Normal Form in graph rewriting.


Loading