Quantifier elimination in discriminator varieties.

Françoise Point

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

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
constraint databases
first order logic
cardinality constraints
artificial intelligence
constraint satisfaction
constraint query languages
constraint satisfaction problems
database
query language
programming language