Quantifier Elimination in Tame Infinite p-ADIC Fields.

Published in: J. Symb. Log. (2001)

Keyphrases

quantifier elimination
functional programming
constraint propagation
first order logic
cardinality constraints
presburger arithmetic
constraint databases
relational databases
expressive power
relational algebra
geographic information systems
real numbers