Iteration in ACL2

DOI10.4204/EPTCS.327.2MaRDI QIDQ6591494zbMATH OpenFDO

Authors Matt Kaufmann, J Strother Moore

Publication date 22 August 2024

Full work available at URL https://doi.org/10.4204/EPTCS.327.2

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• scientific article; zbMATH DE number 2101985
• scientific article; zbMATH DE number 2090530
• Executing in Common Lisp, Proving in ACL2
• scientific article; zbMATH DE number 3999256
• Iteration and labelled iteration

This page was built for publication: Iteration in ACL2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6591494)