Login / Signup
Definability and Fast Quantifier Elimination in Algebraically Closed Fields.
Joos Heintz
Published in:
Theor. Comput. Sci. (1983)
Keyphrases
</>
quantifier elimination
constraint propagation
first order logic
presburger arithmetic
functional programming
constraint databases
cardinality constraints
fixed point
constraint satisfaction
database
databases
video sequences
relational databases
np hard
constraint satisfaction problems