Login / Signup

Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials.

Kevin Woods
Published in: ICALP (2) (2013)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • databases
  • decision making
  • logic programs
  • algebraic structure
  • satisfiability problem
  • decision procedures
  • functional programming