Login / Signup

Quantifier Elimination for Real Closed Fields.

W. Böge
Published in: AAECC (1985)
Keyphrases
  • quantifier elimination
  • constraint propagation
  • functional programming
  • presburger arithmetic
  • cardinality constraints
  • natural language
  • first order logic
  • artificial intelligence
  • high level
  • general purpose