Corrigendum to: "Quantifier elimination in valued Ore modules".
Luc BélairFrançoise PointPublished in: J. Symb. Log. (2012)
Keyphrases
- quantifier elimination
- constraint propagation
- functional programming
- presburger arithmetic
- cardinality constraints
- first order logic
- constraint databases
- artificial intelligence
- constraint satisfaction problems
- expressive power
- database systems
- lower bound
- constraint satisfaction
- constraint programming
- linear constraints