Rewriting
In mathematics, computer science, and logic, rewriting covers a wide range of (potentially non-deterministic) methods of replacing subterms of a formula with other terms. The objects of focus for this article include rewriting systems (also known as rewrite systems, rewrite engines. or reduction systems). In their most basic form, they consist of a set of objects, plus relations on how to transform those objects.
academic discipline
known for
Wikipage disambiguates
Phase-structure ruleReduction systemReduction systemsRewrite ruleRewrite rulesRewrite systemRewriterRewriting logicRewriting systemSubstitution systemTerm-rewritingTerm Rewriting SystemTerm rewrite systemTerm rewritingTerm rewriting systemTermination (rewriting)Termination (term rewriting)Trace rewriting systemTransformational ruleTree rewriting
Wikipage redirect
.htaccessACL2Abstract rewriting machineAbstract rewriting systemAlgebraic Petri netArvind (computer scientist)Aspects of the Theory of SyntaxAtom (programming language)Automated theorem provingBackus–Naur formBertrand (programming language)Binary combinatory logicBluespecBuffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffaloCategorical quantum mechanicsCharlotte MacLeodChord progressionClean URLClosure (mathematics)CompilerComputer algebraComputer algebra systemConfluence (abstract rewriting)Constraint Handling RulesConstraint programmingConvergence (logic)Critical pair (logic)Cyclic orderDMS Software Reengineering ToolkitData typeDavid PlaistedDe Bruijn indexDirected algebraic topologyDirector stringDis-unification (computer science)Encompassment orderingExplicit substitutionFormal grammarFormal systemFrits Staal
Link from a Wikipage to another Wikipage
primaryTopic
Rewriting
In mathematics, computer science, and logic, rewriting covers a wide range of (potentially non-deterministic) methods of replacing subterms of a formula with other terms. The objects of focus for this article include rewriting systems (also known as rewrite systems, rewrite engines. or reduction systems). In their most basic form, they consist of a set of objects, plus relations on how to transform those objects.
has abstract
Die Termersetzungssysteme (TES ...... n Analyse von Algorithmen dar.
@de
Em matemática um sistema de re ...... que esta está na Forma Normal.
@pt
En informatique théorique, la ...... de code dans les compilateurs.
@fr
In de theoretische informatica ...... hrijven en stringherschrijven.
@nl
In matematica, informatica e l ...... emi di riscrittura di termini.
@it
In mathematics, computer scien ...... s are based on term rewriting.
@en
Переписывание — широкий спектр ...... ивных языков программирования.
@ru
У математиці, комп'ютерній нау ...... кларативних мов програмування.
@uk
重写逻辑是一种对绝大多数编程语言和系统进行规范描述的计算机逻 ...... 统一并发模型的条件重写逻辑》一文中首先提出重写逻辑这一概念。
@zh
項書き換え(こうかきかえ、英: term rewriting ...... くつかの宣言型プログラミング言語は項書き換えに基づいている。
@ja
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,024,323,372
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
type
comment
Die Termersetzungssysteme (TES ...... succ(x), y) → succ(plus(x, y))
@de
Em matemática um sistema de re ...... que esta está na Forma Normal.
@pt
En informatique théorique, la ...... de code dans les compilateurs.
@fr
In de theoretische informatica ...... e stappen de volgende stap is.
@nl
In matematica, informatica e l ...... to da una strategia di scelta.
@it
In mathematics, computer scien ...... ow to transform those objects.
@en
Переписывание — широкий спектр ...... как преобразовать этот набор.
@ru
У математиці, комп'ютерній нау ...... те, як перетворити ці об'єкти.
@uk
重写逻辑是一种对绝大多数编程语言和系统进行规范描述的计算机逻 ...... 统一并发模型的条件重写逻辑》一文中首先提出重写逻辑这一概念。
@zh
項書き換え(こうかきかえ、英: term rewriting ...... くつかの宣言型プログラミング言語は項書き換えに基づいている。
@ja
label
Herschrijven (theoretische informatica)
@nl
Rewriting
@en
Riscrittura
@it
Réécriture (informatique)
@fr
Sistema de redução
@pt
Termersetzungssystem
@de
Переписывание
@ru
Рерайтинг (математика)
@uk
重写逻辑
@zh
項書き換え
@ja