Pages that link to "Item:Q672051"
From MaRDI portal
The following pages link to Using induction and rewriting to verify and complete parameterized specifications (Q672051):
Displayed 7 items.
- Sufficient completeness verification for conditional and constrained TRS (Q420848) (← links)
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Proving weak properties of rewriting (Q554217) (← links)
- Automata-driven automated induction (Q1854445) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)