The following pages link to Angelo Brillout (Q438553):
Displayed 4 items.
- An interpolating sequent calculus for quantifier-free Presburger arithmetic (Q438556) (← links)
- Mutation-Based Test Case Generation for Simulink Models (Q3066126) (← links)
- Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Q3075472) (← links)
- An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic (Q5747778) (← links)