Simon Halfon

Latest

• Context-free commutative grammars with integer counters and resets
• Integer Vector Addition Systems with States