The following pages link to Clausal rewriting (Q5881281):
Displaying 7 items.
- A completion procedure for conditional equations (Q758211) (← links)
- Rewrite method for theorem proving in first order theory with equality (Q1098649) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- (Q4941896) (← links)
- Open problems in rewriting (Q5055780) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Reduction techniques for first-order reasoning (Q5881189) (← links)