Mechanical verification of an ideal incremental ABR conformance algorithm
From MaRDI portal
Publication:1810852
DOI10.1023/A:1023251327012zbMath1023.68090MaRDI QIDQ1810852
Sorin Stratulat, Michaël Rusinowitch, Francis Klay
Publication date: 9 June 2003
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Related Items
Mechanically certifying formula-based Noetherian induction reasoning, Automated Certification of Implicit Induction Proofs, Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities
Uses Software