Login / Signup

Complexity of Quantifier Elimination in the Theory of Algebraically Closed Fields.

Alexander L. ChistovDima Grigoriev
Published in: MFCS (1984)
Keyphrases
  • quantifier elimination
  • presburger arithmetic
  • quantifier free
  • constraint propagation
  • functional programming
  • first order logic
  • cardinality constraints
  • algebraic structure
  • rewrite systems
  • database