The following pages link to (Q2723429):
Displaying 5 items.
- Elimination transformations for associative-commutative rewriting systems (Q877834) (← links)
- Searching by elimination (Q920625) (← links)
- Modular termination proofs for rewriting using dependency pairs (Q1864874) (← links)
- (Q3530400) (← links)
- Termination of Narrowing in Left-Linear Constructor Systems (Q5458432) (← links)