88 citations · 281 across the 25 of their papers we have counts for
1 paper · 2 filters
Jérôme Leroux
Since 1969 \cite{C-MST69,S-SMJ77}, we know that any Presburger-definable set \cite{P-PCM29} (a set of integer vectors satisfying a formula in the first-order additive theory of the…