Full Abstraction and Limiting Completeness in Equational Languages.
Satish R. ThattePublished in: Theor. Comput. Sci. (1989)
Keyphrases
- equational theories
- expressive power
- language independent
- high level
- theorem proving
- databases
- cross lingual
- data quality
- description languages
- data model
- query translation
- text summarization
- target language
- grammatical inference
- spoken language
- data abstraction
- linguistic resources
- multilingual information retrieval