Reachability in Bidirected Pushdown VASS

Moses Ganardi*, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche

*Corresponding author for this work

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Fingerprint

Dive into the research topics of 'Reachability in Bidirected Pushdown VASS'. Together they form a unique fingerprint.

Mathematics

Computer Science