Pages that link to "Item:Q5108860"
From MaRDI portal
The following pages link to Parametric Presburger arithmetic: complexity of counting and quantifier elimination (Q5108860):
Displaying 5 items.
- Bounding quantification in parametric expansions of Presburger arithmetic (Q1661676) (← links)
- (Q4226937) (← links)
- Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior (Q4645009) (← links)
- A Plethora of Polynomials: A Toolbox for Counting Problems (Q5067476) (← links)
- Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (Q5327451) (← links)