Mechanical verification of an ideal incremental ABR conformance algorithm
From MaRDI portal
Publication:1810852
DOI10.1023/A:1023251327012zbMath1023.68090MaRDI QIDQ1810852
Michaël Rusinowitch, Sorin Stratulat, Francis Klay
Publication date: 9 June 2003
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1023251327012
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