Fingerprint
Dive into the research topics of 'Proof-Pattern Recognition and Lemma Discovery in ACL2'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Proof-Pattern Recognition and Lemma Discovery in ACL2
J. Heras, E. Komendantskaya, M. Johansson, E. Maclean
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution