Category:Rewriting systems
Help
Subcategories
This category has the following 5 subcategories, out of 5 total.
A
- Abstract machines (1 C, 7 P)
G
- Graph rewriting (11 P)
S
- Substitution (logic) (3 P)
T
U
- Unification (computer science) (1 C, 7 P)
Pages in category "Rewriting systems"
The following 35 pages are in this category, out of 35 total. This list may not reflect recent changes.