Pages that link to "Item:Q1810852"
From MaRDI portal
The following pages link to Mechanical verification of an ideal incremental ABR conformance algorithm (Q1810852):
Displaying 7 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- A compared study of two correctness proofs for the standardized algorithm of ABR conformance (Q1395676) (← links)
- (Q2754095) (← links)
- Automated Certification of Implicit Induction Proofs (Q3100200) (← links)
- Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (Q3522029) (← links)
- (Q4493887) (← links)
- A Mechanically Verified AIG-to-BDD Conversion Algorithm (Q5747668) (← links)