All Articles tagged 05a15 52b20 03c10

• Mathematical Logic
  January 16, 2017 BST
  Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior
  Tristram BogartJohn GoodrickKevin Woods

  Sets from families defined using parametric Presburger arithmetic have eventually quasipolynomial size.

  Editorial introduction