Proof Pearl: a Formal Proof of Higman's Lemma in ACL2.
Saved in:
| Title: | Proof Pearl: a Formal Proof of Higman's Lemma in ACL2. |
|---|---|
| Authors: | Martín-Mateos, Francisco1, fjesus@us.es, Ruiz-Reina, José1, jruiz@us.es, Alonso, José1, jalonso@us.es, Hidalgo, María1, mjoseh@us.es |
| Source: | Journal of Automated Reasoning; Oct2011, Vol. 47 Issue 3, p229-250, 22p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01687433 |
|---|---|
| DOI: | 10.1007/s10817-010-9178-x |
