Pages that link to "Item:Q814932"
From MaRDI portal
The following pages link to Tractable fragments of Presburger arithmetic (Q814932):
Displaying 5 items.
- A complexity perspective on entailment of parameterized linear constraints (Q487646) (← links)
- On quantified linear implications (Q2254606) (← links)
- Out of order quantifier elimination for standard quantified linear programs (Q2456614) (← links)
- Polynomially and superexponentially shorter proofs in fragments of arithmetic (Q4032866) (← links)
- Automated Reasoning (Q5307072) (← links)