Login / Signup
Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields.
B. Curtis Eaves
Uriel G. Rothblum
Published in:
Math. Program. (1992)
Keyphrases
</>
quantifier elimination
constraint propagation
functional programming
presburger arithmetic
constraint databases
first order logic
cardinality constraints
image reconstruction
database
databases
expressive power
relational databases
query language
general purpose
active databases