Reachability in Fixed VASS: Expressiveness and Lower Bounds

Andrei Draghici, Christoph Haase, Andrew Ryzhikov
January 2024
PDF DOI
Type
Conference paper
Publication
Foundations of Software Science and Computation Structures, FoSSaCS