The following pages link to AC Dependency Pairs Revisited (Q5278394):
Displayed 3 items.
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Transforming orthogonal inductive definition sets into confluent term rewrite systems (Q2141298) (← links)
- On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs (Q2163179) (← links)