Separability in Bchi VASS and Singly Non-Linear Systems of Inequalities.

Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche

Browse the full ICALP paper archive.