The definable criterion for definability in Presburger arithmetic and its applications.

Andrei A. Muchnik

Published in: Theor. Comput. Sci. (2003)

Keyphrases

presburger arithmetic
quantifier elimination
first order logic
propositional logic
algebraic structure
fixed point
constraint propagation
knowledge base
relational databases
databases
answer sets
theorem proving
transitive closure
monadic second order logic