The following pages link to Conditional rewriting in focus (Q5881263):
Displaying 9 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Induction using term orders (Q1915132) (← links)
- Open problems in rewriting (Q5055780) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Induction using term orderings (Q5210765) (← links)
- Reduction techniques for first-order reasoning (Q5881189) (← links)
- Implementing contextual rewriting (Q5881200) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)
