Neocompact quantifier elimination in structures based on Banach spaces.

Stefano Baratella Siu-Ah Ng

Published in: Ann. Pure Appl. Log. (2001)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
first order logic
constraint databases
databases
cardinality constraints
database systems
linear programming
constraint satisfaction problems
expressive power
constraint satisfaction