Back to Results
First PageMeta Content
Mathematics / Logic / Mathematical logic / Automated theorem proving / Mathematical proofs / Logic in computer science / Statements / Graph theory / Structural induction / Rippling / ACL2 / Lemma


Automating Inductive Proofs using Theory Exploration Koen Claessen, Moa Johansson, Dan RosĀ“en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,moa.johansson
Add to Reading List

Document Date: 2013-04-17 07:49:01


Open Document

File Size: 270,31 KB

Share Result on Facebook
UPDATE