Balanced Trees with Removals: An Exercise in Rewriting and Proof.

Published in: Sci. Comput. Program. (1992)

Keyphrases

presburger arithmetic
decision trees
tree structure
theorem prover
tree models
quantifier elimination
tree construction
genetic algorithm
search engine
relational databases
tree structures
phylogenetic trees
query rewriting
decision procedures