Sign in

A simpler proof and a generalization of the zero-trees theorem.

Alexander SchrijverPaul D. Seymour
Published in: J. Comb. Theory, Ser. A (1991)
Keyphrases
  • interactive theorem proving
  • decision trees
  • tree structure
  • automated theorem proving
  • von neumann
  • multiscale
  • linear logic
  • image sequences
  • tree construction