{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:33:54Z","timestamp":1725456834461},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633860"},{"type":"electronic","value":"9783540695295"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0036189","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T02:47:22Z","timestamp":1134269242000},"page":"257-268","source":"Crossref","is-referenced-by-count":1,"title":["The complexity of the coverability, the containment, and the equivalence problems for commutative semigroups"],"prefix":"10.1007","author":[{"given":"Ulla","family":"Koppenhagen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernst W.","family":"Mayr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1007\/BF02196421","volume":"8","author":"A.P. Biryukov","year":"1967","unstructured":"A.P. Biryukov. Some algorithmic problems for finitely defined commutative semigroups, Siberian Math. J., 8:384\u2013391, 1967.","journal-title":"Siberian Math. J."},{"key":"22_CR2","unstructured":"B. Buchberger. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. Ph.d. thesis, University of Innsbruck, 1965."},{"issue":"4","key":"22_CR3","doi-asserted-by":"publisher","first-page":"750","DOI":"10.1137\/0219053","volume":"19","author":"T.W. Dub\u00e9","year":"1990","unstructured":"T.W. Dub\u00e9. The structure of polynomial ideals and Gr\u00f6bner bases. SIAM J. Comput., 19(4):750\u2013773, 1990.","journal-title":"SIAM J. Comput."},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0021-8693(69)90070-2","volume":"13","author":"S. Eilenberg","year":"1969","unstructured":"S. Eilenberg and M.P. Sch\u00fctzenberger. Rational sets in commutative monoids. J. Algebra, 13:173\u2013191, 1969.","journal-title":"J. Algebra"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(76)90008-6","volume":"2","author":"M. Hack","year":"1976","unstructured":"M. Hack. The equality problem for vector addition systems is undecidable. Theor. Comput. Sci., 2:77\u201395, 1976.","journal-title":"Theor. Comput. Sci."},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"736","DOI":"10.1007\/BF01206635","volume":"95","author":"G. Hermann","year":"1926","unstructured":"G. Hermann. Die Frage der endlich vielen Schritte in der Theorie der Polynomideale. Math. Ann., 95:736\u2013788, 1926.","journal-title":"Math. Ann."},{"key":"22_CR7","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1145\/22145.22190","volume-title":"Proceedings of STOC '85","author":"D.T. Huynh","year":"1985","unstructured":"D.T. Huynh. The complexity of the equivalence problem for commutative semigroups and symmetric vector addition systems. In Proceedings of STOC '85, 405\u2013412, New York, 1985. ACM Press."},{"key":"22_CR8","first-page":"244","volume-title":"Proceedings of ICALP '96, LNCS","author":"U. Koppenhagen","year":"1996","unstructured":"U. Koppenhagen and E.W. Mayr. Optimal Gr\u00f6bner base algorithms for binomial ideals. In Proceedings of ICALP '96, LNCS 1099, 244\u2013255, Heidelberg, 1996. Springer Verlag."},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/236869.236899","volume-title":"Proceedings of ISSAC '96","author":"U. Koppenhagen","year":"1996","unstructured":"U. Koppenhagen and E.W. Mayr. An optimal algorithm for constructing the reduced Gr\u00f6bner basis of binomial ideals. In Proceedings of ISSAC '96, 55\u201362, New York, 1996. ACM Press."},{"issue":"3","key":"22_CR10","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","volume":"46","author":"E.W. Mayr","year":"1982","unstructured":"E.W. Mayr and A. Meyer. The complexity of the word problems for commutative semigroups and polynomial ideals. Adv. Math., 46(3):305\u2013329, 1982.","journal-title":"Adv. Math."},{"issue":"2","key":"22_CR11","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","volume":"6","author":"C. Rackoff","year":"1978","unstructured":"C. Rackoff. The covering and boundedness problems for vector addition systems. Theor. Comput. Sci., 6(2):223\u2013231, 1978.","journal-title":"Theor. Comput. Sci."},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/3-540-15984-3_321","volume-title":"Proceedings of EUROCAL '85, Vol. 2, LNCS","author":"L. Robbiano","year":"1985","unstructured":"L. Robbiano. Term orderings on the polynomial ring. In Proceedings of EUROCAL '85, Vol. 2, LNCS 204, 513\u2013517, Berlin-Heidelberg-New York-Tokyo, 1985. Springer Verlag."},{"key":"22_CR13","first-page":"201","volume":"9","author":"M.A. Taiclin","year":"1968","unstructured":"M.A. Taiclin. Algorithmic problems for commutative semigroups. Soviet Math. Dokl., 9:201\u2013204, 1968.","journal-title":"Soviet Math. Dokl."},{"issue":"2","key":"22_CR14","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/24554.24557","volume":"21","author":"V. Weispfenning","year":"1987","unstructured":"V. Weispfenning. Admissible orders and linear forms. ACM SIGSAM Bulletin, 21(2):16\u201318, 1987.","journal-title":"ACM SIGSAM Bulletin"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0036189","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T12:58:34Z","timestamp":1549457914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0036189"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633860","9783540695295"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0036189","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}