The following pages link to Aless Lasaruk (Q944999):
Displaying 4 items.
- Weak quantifier elimination for the full linear theory of the integers (Q945000) (← links)
- Automatic Verification of the Adequacy of Models for Families of Geometric Objects (Q3003231) (← links)
- Weak Integer Quantifier Elimination Beyond the Linear Case (Q3508492) (← links)
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity (Q3644100) (← links)
