Login / Signup

A Short Proof of Cayley's Tree Formula.

Alok Shukla
Published in: Am. Math. Mon. (2018)
Keyphrases
  • tree structure
  • theorem prover
  • tree nodes
  • databases
  • index structure
  • hierarchical structure
  • b tree
  • binary tree
  • linear logic
  • learning algorithm
  • pattern matching
  • theorem proving
  • tree patterns