RNF ⇝
Root Normal Form
(RNF) Head Normal Form in graph rewriting.
Loading
Updated: Fri Jun 23 00:55:14 2017
24087 terms
No longer supported by Imperial College Department of Computing
Updated: Fri Jun 23 00:55:14 2017
24087 terms
No longer supported by Imperial College Department of Computing
Tweet