項書き換え
1. RewritingIn mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. What is considered are rewriting systems (also known as rewrite systems or reduction systems). In their most basic form, they consist of a set of objects, plus relations on how to transform those objects. Rewriting can be non-deterministic.
Read “Rewriting” on English Wikipedia
Read “項書き換え” on Japanese Wikipedia
Read “Rewriting” on DBpedia
Read “Rewriting” on English Wikipedia
Read “項書き換え” on Japanese Wikipedia
Read “Rewriting” on DBpedia
Discussions
Log in to talk about this word.