Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Formal proofs"
Now showing items 1-1 of 1
Higman’s lemma is an important result in infinitary combinatorics, which has been formalized in several theorem provers. In this paper we present a formalization and proof of Higman’s Lemma in the ACL2 theorem prover. ...