Login / Signup
Corrigendum: Definability and Fast Quantifier Elimination in Algebraically Closed Fields.
Joos Heintz
Published in:
Theor. Comput. Sci. (1985)
Keyphrases
</>
quantifier elimination
constraint propagation
presburger arithmetic
constraint databases
functional programming
first order logic
fixed point
cardinality constraints
machine learning
object oriented
general purpose
linear programming