Pages that link to "Item:Q4645009"
From MaRDI portal
The following pages link to Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior (Q4645009):
Displaying 10 items.
- The unreasonable ubiquitousness of quasi-polynomials (Q405135) (← links)
- Bounding quantification in parametric expansions of Presburger arithmetic (Q1661676) (← links)
- One-variable logic meets Presburger arithmetic (Q2007734) (← links)
- On factorization invariants and Hilbert functions (Q2013549) (← links)
- Periodic behavior in families of numerical and affine semigroups via parametric Presburger arithmetic (Q2663115) (← links)
- A Plethora of Polynomials: A Toolbox for Counting Problems (Q5067476) (← links)
- Parametric Presburger arithmetic: complexity of counting and quantifier elimination (Q5108860) (← links)
- On parametrized families of numerical semigroups (Q5119193) (← links)
- A Parametric Version of LLL and Some Consequences: Parametric Shortest and Closest Vector Problems (Q5139657) (← links)
- Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (Q5327451) (← links)
