{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:28Z","timestamp":1761611188211},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648277"},{"type":"electronic","value":"9783540685326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055780","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T13:36:31Z","timestamp":1155821791000},"page":"305-315","source":"Crossref","is-referenced-by-count":3,"title":["The equivalence problem for deterministic pushdown transducers into abelian groups"],"prefix":"10.1007","author":[{"given":"G\u00e9raud","family":"S\u00e9nizergues","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"J. Berstel and C. Reutenauer. Rational Series and their Languages. Springer, 1988.","DOI":"10.1007\/978-3-642-73235-5"},{"key":"27_CR2","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. Journal 8, pages 384\u2013391, 1967.","journal-title":"Siberian Math. Journal"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"C. Choffrut. A generalization of Ginsburg and Rose's characterisation of gsm mappings. In Proceedings ICALP 79, pages 88\u2013103. LNCS, Springer-Verlag, 1979.","DOI":"10.1007\/3-540-09510-1_8"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"B. Courcelle. An axiomatic approach to the Korenjac-Hopcroft algorithms. Math. Systems theory, pages 191\u2013231, 1983.","DOI":"10.1007\/BF01744577"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1016\/0021-8693(79)90238-2","volume":"57","author":"R.H. Gilman","year":"1979","unstructured":"R.H. Gilman. Presentations of groups and monoids. Journal of Algebra 57, pages 544\u2013554, 1979.","journal-title":"Journal of Algebra"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0304-3975(91)90356-7","volume":"78","author":"T. Harju","year":"1991","unstructured":"T. Harju and J. Karhum\u00e4ki. The equivalence problem of multitape finite automata. TCS 78, pages 347\u2013355, 1991.","journal-title":"TCS"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0304-3975(79)90024-0","volume":"9","author":"M.A. Harrison","year":"1979","unstructured":"M.A. Harrison, I.M. Havel, and A. Yehudai. On equivalence of grammars through transformation trees. TCS 9, pages 173\u2013205, 1979.","journal-title":"TCS"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"O. Ibarra. The unsolvability of the equivalence problem for \u03b5-free ngsm's with unary input (output) alphabet and applications. In Proceedings FOCS 78, pages 74\u201381. IEEE, 1978.","DOI":"10.1137\/0207042"},{"key":"27_CR9","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0020-0190(81)90116-2","volume":"13","author":"O.H. Ibarra","year":"1981","unstructured":"O.H. Ibarra and L. Rosier. On the decidability of equivalence problem for deterministic pushdown transducers. Information Processing Letters 13, pages 89\u201393, 1981.","journal-title":"Information Processing Letters"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/BF00288472","volume":"23","author":"K. Kulik II","year":"1986","unstructured":"K. Kulik II and J. Karhum\u00e4ki. Synchronizable deterministic pushdown automata and the decidability of their equivalence. Acta Informatica 23, pages 597\u2013605, 1986.","journal-title":"Acta Informatica"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"W. Kuich and D. Raz. On the multiplicity equivalence problem for context-free grammars. In Important Results and trends in Theoretical Computer Science (Colloquium in Honor of Aarto Salomaa), pages 232\u2013250. Springer-Verlag, LNCS 812, 1994.","DOI":"10.1007\/3-540-58131-6_50"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Y.V. Meitus. The equivalence problem for real-time strict deterministic pushdown automata. Cybernetics and Systems analysis, pages 581\u2013594, 1990. Original article (in russian) in Kibernetika 5, p.14-25, 1989.","DOI":"10.1007\/BF01075213"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"G. S\u00e9nizergues. L(A) = L(B)? In Proceedings INFINITY 97, pages 1\u201326. Electronic Notes in Theoretical Computer Science 9, URL: http:\/\/www.elsevier.nl\/locate\/entcs\/volume9.html, 1997.","DOI":"10.1016\/S1571-0661(05)80430-X"},{"key":"27_CR14","unstructured":"G. S\u00e9nizergues. L(A) = L(B)? Technical report, corrected and extended version of nr 1161-97, LaBRI, Universit\u00e9 Bordeaux I, can be accessed at URL:http:\/\/www.labri.u-bordeaux.fr\/~ges, 1998."},{"key":"27_CR15","unstructured":"M. Taiclin. Algorithmic problems for commutative semigroups. Soviet Math. Dokl., pages 201\u2013204, 1968."},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"E. Tomita and K. Seino. A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict. Theoretical Computer science, pages 39\u201353, 1989.","DOI":"10.1016\/0304-3975(89)90096-0"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055780","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T14:44:41Z","timestamp":1555771481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055780"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648277","9783540685326"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0055780","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}