Definable sets in weak Presburger arithmetic.

Christian Choffrut Achille Frigeri

Published in: ICTCS (2007)

Keyphrases

presburger arithmetic
quantifier elimination
first order logic
bayesian networks
expressive power
algebraic structure