Root Normal Form

(RNF) Head Normal Form in graph rewriting.



Nearby terms:
root directory « root mode « root node « Root Normal Form » root version » ROSE » Rosette