OurBigBook Wikipedia Bot
Documentation
Rewriting systems
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Applied mathematics
Theoretical computer science
toc
wiki
nosplit
articles:
20
Table of contents
20
1. Substitution (logic)
link
nosplit
Rewriting systems
2. Term-rewriting programming languages
link
nosplit
Rewriting systems
3. Church–Rosser theorem
link
nosplit
Rewriting systems
4. Confluence (abstract rewriting)
link
nosplit
Rewriting systems
5. Convergence (logic)
link
nosplit
Rewriting systems
6. Critical pair (term rewriting)
link
nosplit
Rewriting systems
7. Director string
link
nosplit
Rewriting systems
8. Divergence (computer science)
link
nosplit
Rewriting systems
9. Encompassment ordering
link
nosplit
Rewriting systems
10. Explicit substitution
link
nosplit
Rewriting systems
11. Jean-Pierre Jouannaud
link
nosplit
Rewriting systems
12. Newman's lemma
link
nosplit
Rewriting systems
13. Orthogonality (term rewriting)
link
nosplit
Rewriting systems
14. Overlap (term rewriting)
link
nosplit
Rewriting systems
15. Path ordering (term rewriting)
link
nosplit
Rewriting systems
16. Reduction strategy
link
nosplit
Rewriting systems
17. Reflexive closure
link
nosplit
Rewriting systems
18. Rewrite order
link
nosplit
Rewriting systems
19. Symmetric closure
link
nosplit
Rewriting systems
20. Term (logic)
link
nosplit
Rewriting systems
Ancestors
Theoretical computer science
Applied mathematics
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot