Login / Signup
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é Hidalgo
Published in:
J. Autom. Reason. (2011)
Keyphrases
</>
formal proof
theorem prover
johnson lindenstrauss
conditional independence
data sets
real world
genetic algorithm
case study
database systems
inference rules
belief change
natural language learning
information systems
cooperative
automated theorem proving
natural deduction