Reachability in Bidirected Pushdown VASS.

Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schtze, Georg Zetzsche

Browse the full ICALP paper archive.