Login / Signup

Presburger Arithmetic, Rational Generating Functions, and quasi-polynomials.

Kevin Woods
Published in: J. Symb. Log. (2015)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • general purpose
  • decision making
  • algebraic structure