RNF ⇝
Root Normal Form
(RNF) Head Normal Form in graph rewriting.
Loading
Updated: Fri Aug 18 19:41:32 2017
24091 terms
No longer supported by Imperial College Department of Computing
Updated: Fri Aug 18 19:41:32 2017
24091 terms
No longer supported by Imperial College Department of Computing
Tweet