Formal translations and the containment problem for Szilard languages.
Hans-Peter KriegelHermann A. MaurerPublished in: Automata Theory and Formal Languages (1975)
Keyphrases
- query translation
- formal language
- language independent
- expressive power
- regular path queries
- bilingual dictionaries
- highly expressive
- formal languages
- machine translation system
- machine translation
- multilingual information retrieval
- knowledge representation languages
- formal model
- query evaluation
- specification languages
- query optimization
- information retrieval
- language identification
- multi lingual
- formal specification
- databases
- formal methods
- query processing
- query expansion
- data sets
- transitive closure
- cross language information retrieval
- database