Root Normal Form

(RNF) Head Normal Form in graph rewriting.

1
Show
Maximize