Pages that link to "Item:Q1322836"
From MaRDI portal
The following pages link to Deductive and inductive synthesis of equational programs (Q1322836):
Displayed 5 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Canonical Ground Horn Theories (Q4916071) (← links)
- Improving rewriting induction approach for proving ground confluence (Q5111302) (← links)
- Mechanizable inductive proofs for a class of ∀ ∃ formulas (Q5210766) (← links)