Cargando…

The Polynomial Complexity of Vector Addition Systems with States

Vector addition systems are an important model in theoretical computer science and have been used in a variety of areas. In this paper, we consider vector addition systems with states over a parameterized initial configuration. For these systems, we are interested in the standard notion of computati...

Descripción completa

Detalles Bibliográficos
Autor principal: Zuleger, Florian
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7788602/
http://dx.doi.org/10.1007/978-3-030-45231-5_32

Ejemplares similares