Double rewriting for equivalential reasoning in ACL2 - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Matt Kaufmann, J. Strother Moore. Double rewriting for equivalential reasoning in ACL2. In Panagiotis Manolios, Matthew Wilding, editors, Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006. pages 103-106, ACM, 2006. [doi]

The following publications are possibly variants of this publication:

Rewriting with Equivalence Relations in ACL2Bishop Brock, Matt Kaufmann, J. Strother Moore. JAR, 40(4):293-306, 2008. [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]

runs on WebDSL