Login / Signup
An Assertional Proof of Red-Black Trees Using Dafny.
Ricardo Peña
Published in:
J. Autom. Reason. (2020)
Keyphrases
</>
theorem prover
automated theorem proving
theorem proving
natural deduction
decision trees
mathematical proofs
tree structure
tree models
black and white
information retrieval
relational databases
digital images
xml documents
phylogenetic trees
compact representations
search algorithm
binary trees
data sets