Login / Signup

Quantifier elimination in valued Ore modules.

Luc BélairFrançoise Point
Published in: J. Symb. Log. (2010)
Keyphrases
  • quantifier elimination
  • constraint propagation
  • presburger arithmetic
  • functional programming
  • first order logic
  • constraint databases
  • cardinality constraints