Sign in
A simpler proof and a generalization of the zero-trees theorem.
Alexander Schrijver
Paul 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