Login / Signup

Automatic Functional Correctness Proofs for Functional Search Trees.

Tobias Nipkow
Published in: ITP (2016)
Keyphrases
  • search tree
  • search space
  • databases