107 citations · 618 across the 21 of their papers we have counts for
1 paper · 2 filters
Sylvain Schmitz, Georg Zetzsche
We consider the model of pushdown vector addition systems with resets. These consist of vector addition systems that have access to a pushdown stack and have instructions to reset…