@dblp

A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One.

, , , and . ICALP, volume 55 of LIPIcs, page 105:1-105:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Links and resources

Tags