Information | |
---|---|
has gloss | eng: Orthogonality as a property of term rewriting systems describes where the reduction rules of the system are all left-linear, that is each variable occurs only once on the left hand side of each reduction rule, and there is no overlap between them. |
lexicalization | eng: Orthogonality |
instance of | e/Rewriting |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint