A Constructive Proof that Trees Are Well-Quasi-Ordered Under Minors.
Arvind GuptaPublished in: LFCS (1992)
Keyphrases
- rooted trees
- decision trees
- ordered trees
- tree structure
- tree languages
- tree structures
- tree construction
- search engine
- labeled trees
- tree patterns
- database
- unordered trees
- binary trees
- semi structured data
- ordered sets
- natural deduction
- binary tree
- theorem proving
- data structure
- case study
- artificial intelligence
- neural network