Mathematical Logic
January 16, 2017 BST

Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior