Direct Planar Tree Transformation and Counterexample.
Selim G. AklKamrul IslamHenk MeijerPublished in: CCCG (2008)
Keyphrases
- tree structure
- model checking
- tree structures
- databases
- formal verification
- database
- three dimensional
- index structure
- hierarchical structure
- graph structure
- tree construction
- hierarchical tree
- tree models
- projective transformations
- linear transformation
- phylogenetic trees
- tree search
- regression trees
- database systems
- computer vision