Quantifier elimination theory and maps which preserve semipositivity.

Grzegorz Pastuszak Adam Skowyrski Andrzej Jamiolkowski

Published in: Quantum Inf. Process. (2021)

Keyphrases

quantifier elimination
presburger arithmetic
quantifier free
constraint propagation
functional programming
first order logic
cardinality constraints
constraint databases
relational databases
data model
probability theory