Pages that link to "Item:Q2457800"
From MaRDI portal
The following pages link to Decision procedures for extensions of the theory of arrays (Q2457800):
Displaying 11 items.
- Decision procedures for flat array properties (Q287272) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- A note on Presburger arithmetic with array segments, permutation and equality (Q1073009) (← links)
- Modular instantiation schemes (Q1944184) (← links)
- NP satisfiability for arrays as powers (Q2152659) (← links)
- Array theory of bounded elements and its applications (Q2351149) (← links)
- (Q3181652) (← links)
- Interpolation and Symbol Elimination (Q5191103) (← links)
- Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing (Q5222967) (← links)
- On algebraic array theories (Q6192058) (← links)