cs.FL cs.LO
Dmitry Chistikov Wojciech Czerwiński Filip Mazowiecki Łukasz Orlikowski Henry Sinclair-Banks Karol Węgrzycki
The Tractability Border of Reachability in Simple Vector Addition Systems with States