The equality problem for vector addition systems is undecidable
type: Item
instance of: scholarly article
title: The equality problem for vector addition systems is undecidable
zbMATH Open document ID: 0357.68038
DOI: 10.1016/0304-3975(76)90008-6
author: Michel Hack
published in: Theoretical Computer Science
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 68W99
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 3557218
MaRDI profile type: Publication
full work available at URL: 0304-3975(76)90008-6
OpenAlex ID: W1970398023
cites work: Parallel program schemata
cites work: Q5613949
cites work: Reachability Problems in Vector Addition Systems
cites work: Q4136592
Wikidata QID: Q126981974
description: scientific article; zbMATH DE number 3557218