Login / Signup
Local Quartet Splits of a Binary Tree Infer All Quartet Splits Via One Dyadic Inference Rule.
Péter L. Erdös
Mike A. Steel
László A. Székely
Tandy J. Warnow
Published in:
Comput. Artif. Intell. (1997)
Keyphrases
</>
binary tree
inference rules
quadtree
theorem proving
multiresolution
first order logic
hierarchical structure
theorem prover
horn clauses
databases
image segmentation
multiscale
search space
modal logic
multiclass svm