The following pages link to (Q3817652):
Displayed 6 items.
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Completion-time optimization of rewrite-time goal solving (Q5055711) (← links)
- Narrowing directed by a graph of terms (Q5055753) (← links)
- Equation solving in conditional AC-theories (Q5096202) (← links)
- An universal termination condition for solving goals in equational languages (Q5881302) (← links)