Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials
From MaRDI portal
(Redirected from Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials)
Publication:5327451
Publication:5327451
DOI10.1007/978-3-642-39212-2_37zbMath1335.03062arXiv1211.0020MaRDI QIDQ5327451
Publication date: 7 August 2013
Published in: The Journal of Symbolic Logic, Automata, Languages, and Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1211.0020
computational complexity; generating functions; Presburger arithmetic; Ehrhart polynomials; quasi-polynomials
68Q25: Analysis of algorithms and problem complexity
05A15: Exact enumeration problems, generating functions
03F30: First-order arithmetic and fragments