Pages that link to "Item:Q1192337"
From MaRDI portal
The following pages link to Quantifier elimination for modules with scalar variables (Q1192337):
Displaying 4 items.
- Some new results on decidability for elementary algebra and geometry (Q714712) (← links)
- Discretely ordered modules as a first-order extension of the cutting planes proof system (Q4254700) (← links)
- Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior (Q4645009) (← links)
- Parametric Presburger arithmetic: complexity of counting and quantifier elimination (Q5108860) (← links)
