Two Short Proofs of Kemp's Identity for Rooted Plane Trees.

Published in: Eur. J. Comb. (1984)

Keyphrases

decision trees
three dimensional
machine learning
tree structures
tree models
identity management
tree structure
decision procedures
tree construction
mathematical proofs
database
personal information
theorem prover