Quantifier Elimination in p-adic Fields.

Devdatt P. Dubhashi

Published in: Comput. J. (1993)

Keyphrases

quantifier elimination
functional programming
presburger arithmetic
first order logic
cardinality constraints
constraint propagation
constraint databases
constraint query languages
knowledge representation
machine learning
artificial intelligence
expressive power