Proofs About Lists Using Ellipsis.

Alan Bundy Julian Richardson

Published in: LPAR (1999)

Keyphrases

theorem prover
theorem proving
formal proof
formal proofs
digital libraries
databases
three dimensional
multiresolution
information extraction
logic programs
decision procedures