First-order expressibility of languages with neutral letters or: The Crane Beach conjecture.
David A. Mix BarringtonNeil ImmermanClemens LautemannNicole SchweikardtDenis ThérienPublished in: J. Comput. Syst. Sci. (2005)
Keyphrases
- first order logic
- expressive power
- language independent
- higher order
- databases
- context free
- fuzzy control
- information retrieval
- grammatical inference
- language identification
- container terminal
- relational databases
- expert systems
- data exchange
- computer programs
- control strategies
- horn clauses
- database
- decision diagrams
- object oriented languages
- stochastic dominance