Exploring VASS Parameterised by Geometric Dimension.

Wojciech Czerwinski, Roland Guttenberg, Lukasz Orlikowski, Henry Sinclair-Banks, Yangluo Zheng

Browse the full ICALP paper archive.