Joris Nieuwveld

Identifiers

• name variant Joris Nieuwveld 0.60 · backfill

Papers (1)

1. On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic cs.LO · 2026 · author #2

Mentions

• 2605.16985 #2 · arxiv_oai · confidence 0.70 Joris Nieuwveld

Frequent Coauthors

• Emil Rugaard Wieser 1 shared papers
• Jo\"el Ouaknine 1 shared papers
• Madhavan Venkatesh 1 shared papers
• Mihir Vahanwala 1 shared papers
• Piotr Bacik 1 shared papers