Pages that link to "Abstract rewriting system"
Jump to navigation
Jump to search
The following pages link to Abstract rewriting system:
Displaying 16 items.
- Binary relation (← links)
- Boolean algebra (structure) (← links)
- Preorder (← links)
- Disjunctive normal form (← links)
- Church–Rosser theorem (← links)
- Rewriting (← links)
- Canonical form (← links)
- Semi-Thue system (← links)
- Confluence (abstract rewriting) (← links)
- Word problem (mathematics) (← links)
- Normal form (abstract rewriting) (← links)
- Newman's lemma (← links)
- Transition system (← links)
- Divergence (computer science) (← links)
- Dershowitz–Manna ordering (← links)
- Reduction strategy (← links)