TY - JOUR AU - Tristram Bogart AU - John Goodrick AU - Kevin Woods TI - Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior JO - Discrete analysis PY - 2017 UR - http://geodesic.mathdoc.fr/item/DAS_2017_a16/ LA - en ID - DAS_2017_a16 ER -