Projections of vector addition system reachability sets are semilinear
type: Item
instance of: scholarly article
title: Projections of vector addition system reachability sets are semilinear
zbMATH Open document ID: 0681.68080
DOI: 10.1016/0304-3975(89)90055-8
author: Hans Kleine Büning
author: Theodor Lettmann
author: Ernst W. Mayr
published in: Theoretical Computer Science
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 4115985
zbMATH Keywords: Vector Addition Systems
zbMATH Keywords: reachability problem
MaRDI profile type: Publication
full work available at URL: 0304-3975(89)90055-8
OpenAlex ID: W2092145843
cites work: On the reachability problem for 5-dimensional vector addition systems
cites work: Parallel program schemata
cites work: An Algorithm for the General Petri Net Reachability Problem
cites work: The complexity of the word problems for commutative semigroups and polynomial ideals
description: scientific article; zbMATH DE number 4115985