Figueira, Diego; Lazić, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire Polynomial-space completeness of reachability for succinct branching VASS in dimension one. (English) Zbl 1442.68136 Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 119, 14 p. (2017). MSC: 68Q85 03B25 03F52 68Q17 PDFBibTeX XMLCite \textit{D. Figueira} et al., LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 119, 14 p. (2017; Zbl 1442.68136) Full Text: DOI
Lazić, Ranko; Schmitz, Sylvain Nonelementary complexities for branching VASS, MELL, and extensions. (English) Zbl 1354.68128 ACM Trans. Comput. Log. 16, No. 3, Article No. 20, 30 p. (2015). MSC: 68Q25 03F52 68Q17 68Q85 PDFBibTeX XMLCite \textit{R. Lazić} and \textit{S. Schmitz}, ACM Trans. Comput. Log. 16, No. 3, Article No. 20, 30 p. (2015; Zbl 1354.68128) Full Text: DOI arXiv
Lazić, Ranko; Schmitz, Sylvain Non-elementary complexities for branching VASS, MELL, and extensions. (English) Zbl 1394.68189 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 61, 10 p. (2014). MSC: 68Q25 03F52 68Q17 68Q85 PDFBibTeX XMLCite \textit{R. Lazić} and \textit{S. Schmitz}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 61, 10 p. (2014; Zbl 1394.68189) Full Text: DOI arXiv