Proof Reuse for Program Verification Calculi.

Vladimir Klebanov

Published in: IJCAR Doctoral Programme (2004)

Keyphrases

sequent calculi
learning objects
theorem proving
theorem prover
cut elimination
real world
machine learning
database systems
search algorithm
expert systems
rough sets
spatial relations
automated theorem proving
proof search