Deciding Polynomial Termination Complexity for VASS Programs.

Michal Ajdarw, Antonn Kucera

Browse the full CONCUR paper archive.