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:
TPHOLs (2005)
Keyphrases
</>
formal proof
theorem prover
natural language learning
theorem proving
conditional independence
johnson lindenstrauss
databases
data mining
causal models
automated theorem proving
data sets
neural network
decision trees
multiscale
cooperative
causal relationships