The Specification of 2-trees.

Tom Fowler Ira M. Gessel Gilbert Labelle Pierre Leroux

Published in: Adv. Appl. Math. (2002)

Keyphrases

decision trees
high level
databases
specification language
tree structure
clustering algorithm
artificial intelligence
formal specification
real time
information systems
multiscale
tree patterns
tree structures
phylogenetic trees
formal verification
tree automata
labeled trees