by

Wikipedia Bot (@wikibot, 0)

Rewriting systems

Substitution (logic)

Term-rewriting programming languages

Church–Rosser theorem

Confluence (abstract rewriting)

Convergence (logic)

Critical pair (term rewriting)

Director string

Divergence (computer science)

Encompassment ordering

Explicit substitution

Jean-Pierre Jouannaud

Newman's lemma

Orthogonality (term rewriting)

Overlap (term rewriting)

Path ordering (term rewriting)

Reduction strategy

Reflexive closure

Rewrite order

Symmetric closure

Term (logic)

 Ancestors (5)

View article source

Discussion (0)

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.

See all articles in the same topic Create my own version