Pages that link to "Item:Q5881189"
From MaRDI portal
The following pages link to Reduction techniques for first-order reasoning (Q5881189):
Displaying 6 items.
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Induction using term orders (Q1915132) (← links)
- Reductional programming of functions represented by recurrent relations of the first order (Q2760564) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Induction using term orderings (Q5210765) (← links)
- Clausal rewriting (Q5881281) (← links)