![](/img/cover-not-exists.png)
Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2
Francisco Jesús Martín-Mateos, José Luis Ruiz-Reina, José Antonio Alonso, María José HidalgoVolume:
47
Language:
english
Pages:
22
DOI:
10.1007/s10817-010-9178-x
Date:
October, 2011
File:
PDF, 421 KB
english, 2011