A Characterisation of the Relations Definable in Presburger Arithmetic.

Published in: TAMC (2008)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
first order logic
cardinality constraints
expert systems
database
databases
np complete
functional programming