Mechanizing Proofs of Computation Equivalence.

Marcelo Glusman Shmuel Katz

Published in: CAV (1999)

Keyphrases

theorem prover
efficient computation
databases
efficiently computing
real time
image processing
natural language
multi agent systems
relational databases
privacy preserving
theorem proving