Highlights Conference 2017 Conference Abstract
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One
- Diego Figueira
- Ranko Lazic
- Jerome Leroux
- Filip Mazowiecki
- Gregoire Sutre
Abstract available in PDF.
Author name cluster
Jerome Leroux
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
1 paper
1 author row