Georg Zetzsche

Latest

• An Efficient Quantifier Elimination Procedure for Presburger Arithmetic
• Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests