Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Orthogonality_(term_rewriting)> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- Orthogonality_(term_rewriting) abstract "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. Orthogonal term rewriting systems have the consequent property that all reducible expressions (redexes) within a term are completely disjoint -- that is, the redexes share no common function symbol.For example, the term rewriting system with reduction rules is orthogonal -- it is easy to observe that each reduction rule is left-linear, and the left hand side of each reduction rule shares no function symbol in common, so there is no overlap.Orthogonal term rewriting systems are confluent.".
- Orthogonality_(term_rewriting) wikiPageID "5099917".
- Orthogonality_(term_rewriting) wikiPageRevisionID "307483052".
- Orthogonality_(term_rewriting) hasPhotoCollection Orthogonality_(term_rewriting).
- Orthogonality_(term_rewriting) subject Category:Rewriting_systems.
- Orthogonality_(term_rewriting) type Artifact100021939.
- Orthogonality_(term_rewriting) type Instrumentality103575240.
- Orthogonality_(term_rewriting) type Object100002684.
- Orthogonality_(term_rewriting) type PhysicalEntity100001930.
- Orthogonality_(term_rewriting) type RewritingSystems.
- Orthogonality_(term_rewriting) type System104377057.
- Orthogonality_(term_rewriting) type Whole100003553.
- Orthogonality_(term_rewriting) comment "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.".
- Orthogonality_(term_rewriting) label "Orthogonality (term rewriting)".
- Orthogonality_(term_rewriting) sameAs m.0d2mt2.
- Orthogonality_(term_rewriting) sameAs Q7104535.
- Orthogonality_(term_rewriting) sameAs Q7104535.
- Orthogonality_(term_rewriting) sameAs Orthogonality_(term_rewriting).
- Orthogonality_(term_rewriting) wasDerivedFrom Orthogonality_(term_rewriting)?oldid=307483052.
- Orthogonality_(term_rewriting) isPrimaryTopicOf Orthogonality_(term_rewriting).