Login / Signup
A simple proof of the Isolation Lemma.
Noam Ta-Shma
Published in:
Electron. Colloquium Comput. Complex. (2015)
Keyphrases
</>
artificial intelligence
theorem proving
databases
image segmentation
data structure
provably correct