Lattices of Theories in Languages without Equality.
James B. NationPublished in: Notre Dame J. Formal Log. (2013)
Keyphrases
- expressive power
- database query languages
- cross lingual
- language identification
- language independent
- description languages
- neural network
- information retrieval systems
- case study
- multi lingual
- information systems
- expert systems
- probability theory
- domain theory
- boolean algebra
- design theory
- formal models
- knowledge base
- data sets
- theoretical framework
- probabilistic model
- query language