Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Matt Kaufmann, J. Strother Moore, Sandip Ray, Erik Reeber. Integrating external deduction tools with ACL2. J. Applied Logic, 7(1):3-25, 2009. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Combining ACL2 and an automated verification tool to verify a multiplierErik Reeber, Jun Sawada. acl2 2006: 63-70 [doi] An embedding of the ACL2 logic in HOLMichael J. C. Gordon, Warren A. Hunt Jr., Matt Kaufmann, James Reynolds. acl2 2006: 40-46 [doi] Double rewriting for equivalential reasoning in ACL2Matt Kaufmann, J. Strother Moore. acl2 2006: 103-106 [doi]
The following publications are possibly variants of this publication: