H. Kleine Büning

• Propositional logic
• Projections of vector addition system reachability sets are semilinear