@dblp

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

, , , и . ICALP, том 55 из LIPIcs, стр. 105:1-105:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Линки и ресурсы

тэги