Efficient Analysis of VASS Termination Complexity.

Antonn Kucera, Jrme Leroux, Dominik Velan

Browse the full LICS paper archive.