Login / Signup

Towards incorporating background theories into quantifier elimination.

Andrzej Szalas
Published in: J. Appl. Non Class. Logics (2008)
Keyphrases
  • quantifier elimination
  • constraint propagation
  • functional programming
  • cardinality constraints
  • first order logic
  • constraint databases
  • presburger arithmetic
  • database
  • constraint satisfaction
  • probability theory