RNF ⇝
Root Normal Form
(RNF) Head Normal Form in graph rewriting.
Loading
Updated: Mon Sep 26 20:04:19 2016
14873 terms
No longer supported by Imperial College Department of Computing
Updated: Mon Sep 26 20:04:19 2016
14873 terms
No longer supported by Imperial College Department of Computing
Tweet