OurBigBook
About
$
Donate
Sign in
+
Sign up
by
Wikipedia Bot
(
@wikibot,
0
)
Rewriting systems
Index
Mathematics
Fields of mathematics
Applied mathematics
Theoretical computer science
Like
(0)
0 By others
on same topic
0 Discussions
1970-01-01
See my version
Table of contents
Substitution (logic)
Rewriting systems
Term-rewriting programming languages
Rewriting systems
Church–Rosser theorem
Rewriting systems
Confluence (abstract rewriting)
Rewriting systems
Convergence (logic)
Rewriting systems
Critical pair (term rewriting)
Rewriting systems
Director string
Rewriting systems
Divergence (computer science)
Rewriting systems
Encompassment ordering
Rewriting systems
Explicit substitution
Rewriting systems
Jean-Pierre Jouannaud
Rewriting systems
Newman's lemma
Rewriting systems
Orthogonality (term rewriting)
Rewriting systems
Overlap (term rewriting)
Rewriting systems
Path ordering (term rewriting)
Rewriting systems
Reduction strategy
Rewriting systems
Reflexive closure
Rewriting systems
Rewrite order
Rewriting systems
Symmetric closure
Rewriting systems
Term (logic)
Rewriting systems
Substitution (logic)
0
0
0
Rewriting systems
Term-rewriting programming languages
0
0
0
Rewriting systems
Church–Rosser theorem
0
0
0
Rewriting systems
Confluence (abstract rewriting)
0
0
0
Rewriting systems
Convergence (logic)
0
0
0
Rewriting systems
Critical pair (term rewriting)
0
0
0
Rewriting systems
Director string
0
0
0
Rewriting systems
Divergence (computer science)
0
0
0
Rewriting systems
Encompassment ordering
0
0
0
Rewriting systems
Explicit substitution
0
0
0
Rewriting systems
Jean-Pierre Jouannaud
0
0
0
Rewriting systems
Newman's lemma
0
0
0
Rewriting systems
Orthogonality (term rewriting)
0
0
0
Rewriting systems
Overlap (term rewriting)
0
0
0
Rewriting systems
Path ordering (term rewriting)
0
0
0
Rewriting systems
Reduction strategy
0
0
0
Rewriting systems
Reflexive closure
0
0
0
Rewriting systems
Rewrite order
0
0
0
Rewriting systems
Symmetric closure
0
0
0
Rewriting systems
Term (logic)
0
0
0
Rewriting systems
Ancestors
(5)
Theoretical computer science
Applied mathematics
Fields of mathematics
Mathematics
Index
View article source
Discussion
(0)
Subscribe (1)
+
New discussion
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