@inproceedings{CardozaLiptonMeyer:STOC:1976,
Address = {New York, NY, USA},
Author = {Cardoza, E. and Lipton, R. and Meyer, A. R.},
BookTitle = {Proceedings of the eighth annual ACM symposium on Theory of computing},
File = {Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report) - Cardoza, Lipton, Meyer (0) (0) - a - a - b.pdf},
Keywords = {Petri nets and vector addition systems},
Location = {Hershey, Pennsylvania, USA},
Pages = {50--54},
Publisher = {ACM},
Series = {STOC '76},
Title = {Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report)},
URL = {http://doi.acm.org/10.1145/800113.803630},
Year = {1976},
acmid = {803630},
bdsk-url-1 = {http://doi.acm.org/10.1145/800113.803630},
bdsk-url-2 = {http://dx.doi.org/10.1145/800113.803630},
date-added = {2013-11-11 13:55:11 +0000},
date-modified = {2023-08-25 09:53:19 +0200},
numpages = {5},
doi = {10.1145/800113.803630}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A