The following pages link to Clausal rewriting (Q5881281):
Displayed 5 items.
- A completion procedure for conditional equations (Q758211) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Open problems in rewriting (Q5055780) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Reduction techniques for first-order reasoning (Q5881189) (← links)