Logical definability of Y-tree and trellis systolic omega-languages.
Angelo MontiAdriano PeronPublished in: Acta Cybern. (2001)
Keyphrases
- tree structure
- language independent
- expressive power
- relational query languages
- low complexity
- coding scheme
- fixed point
- propositional logic
- binary tree
- query translation
- graphical models
- multi dimensional
- cross lingual
- b tree
- tree structures
- tree search
- probabilistic logic
- r tree
- xml query languages
- logical reasoning