Pages that link to "Item:Q1824381"
From MaRDI portal
The following pages link to A strong restriction of the inductive completion procedure (Q1824381):
Displayed 6 items.
- Using induction and rewriting to verify and complete parameterized specifications (Q672051) (← links)
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Induction using term orders (Q1915132) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)