Quantifier elimination for infinite terms.

Gabriele Marongiu Sauro Tulipani

Published in: Arch. Math. Log. (1991)

Keyphrases

quantifier elimination
general purpose
constraint propagation
databases
artificial intelligence
knowledge base
spatial data