You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL