Cell-Probe Proofs.

Published in: ACM Trans. Comput. Theory (2010)

Keyphrases

theorem prover
theorem proving
equational theories
e learning
case study
database systems
expert systems
image analysis
computer programs
formal proof
fundamental limits
fluorescence microscopy images