ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Formal proofs"
Mostrando ítems 1-1 de 1
-
Artículo
Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2
(Springer, 2011)Higman’s lemma is an important result in infinitary combinatorics, which has been formalized in several theorem provers. ...