collaborators

1 paper

cs.LO2026

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic

Piotr Bacik, Joris Nieuwveld, Joël Ouaknine +3

We consider expansions of Presburger arithmetic with families of monadic polynomial predicates. (Examples of such predicates are the set of perfect squares, or the set of integers…