A Constructive Proof of Higman's Lemma

Chetan R. Murthy James R. Russell

Published in: LICS (1990)

Keyphrases

theorem prover
johnson lindenstrauss
databases
data mining
information systems
decision trees
real time
machine learning
case study
theorem proving
automated theorem proving
proof planning