Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior
Work
Year: 2017
Type: article
Abstract: Parametric Presburger arithmetic concerns families of sets S_t in Z^d, for t in N, that are defined using addition, inequalities, constants in Z, Boolean operations, multiplication by t, and quantifie... more
Source: Discrete Analysis
Institutions Universidad de Los Andes, Oberlin College
Cites: 14
Cited by: 4
Related to: 10
FWCI: 0.92
Citation percentile (by year/subfield): 56.54
Subfield: Discrete Mathematics and Combinatorics
Field: Mathematics
Domain: Physical Sciences
Open Access status: diamond