Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials

@inproceedings{Woods2013PresburgerAR,
  title={Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials},
  author={Kevin Woods},
  booktitle={ICALP},
  year={2013}
}

From This Paper

Topics from this paper.