32 citations · 35 across the 5 of their papers we have counts for
1 paper · 1 filter
Dmitry Chistikov, Christoph Haase, Simon Halfon
We study the computational complexity of reachability, coverability and inclusion for extensions of context-free commutative grammars with integer counters and reset operations on…