The covering and boundedness problems for vector addition systems
- 1 January 1978
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 6 (2) , 223-231
- https://doi.org/10.1016/0304-3975(78)90036-1
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The equality problem for vector addition systems is undecidableTheoretical Computer Science, 1976
- Bounds on positive integral solutions of linear Diophantine equationsProceedings of the American Mathematical Society, 1976
- Relationships between nondeterministic and deterministic tape complexitiesJournal of Computer and System Sciences, 1970
- Parallel program schemataJournal of Computer and System Sciences, 1969