{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:36Z","timestamp":1760202636338},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540557197"},{"type":"electronic","value":"9783540472780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55719-9_67","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:36:22Z","timestamp":1330234582000},"page":"101-112","source":"Crossref","is-referenced-by-count":22,"title":["The equality problem for rational series with multiplicities in the tropical semiring is undecidable"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Krob","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1112\/jlms\/s2-3.3.446","volume":"3","author":"A. Adler","year":"1971","unstructured":"ADLER A., A reduction of homogeneous diophantine problems, Journ. of London Math. Soc. (2), 3, pp. 446\u2013448, 1971","journal-title":"Journ. of London Math. Soc. (2)"},{"key":"9_CR2","unstructured":"BERSTEL J., REUTENAUER C., Rational series and their languages, Springer Verlag, 1986"},{"key":"9_CR3","volume-title":"Technical Report 79-6","author":"C. Choffrut","year":"1979","unstructured":"CHOFFRUT C., S\u00e9ries rationnelles d'image finie, Technical Report 79-6, LITP, Paris, 1979"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"CHOFFRUT C., Rational relations and rational series, Theor. Comput. Sci., 1992 (To appear)","DOI":"10.1016\/0304-3975(92)90375-P"},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1090\/pspum\/028.2\/0432534","volume":"28","author":"M. Davis","year":"1976","unstructured":"DAVIS M., MATIJASEVIC Y., ROBINSON J., Hilbert's tenth problem, diophantine equations: positive aspects of a negative solution, Proceedings of Symposia in Pure Mathematics, Vol. 28, pp. 323\u2013378, 1976","journal-title":"Proceedings of Symposia in Pure Mathematics"},{"key":"9_CR6","unstructured":"EILENBERG S., Automata, languages and machines, Vol. A, Academic Press, 1974"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/0304-3975(86)90101-5","volume":"48","author":"A. Gibbons","year":"1986","unstructured":"GIBBONS A., RYTTER W., On the decidability of some problems about rational subsets of free partially commutative monoids, Theor. Comp. Sci., 48, pp. 329\u2013337, 1986","journal-title":"Theor. Comp. Sci."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"SIMON I., Recognizable sets with multiplicities in the tropical semiring, [in \u201dMFCS'88 Proceedings\u201d], Lect. Notes in Comput. Sci., 324, p. 107\u2013120, Springer Verlag, 1988","DOI":"10.1007\/BFb0017135"},{"key":"9_CR9","unstructured":"SIMON I., Some open problems for automata with multiplicities, Private communication"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55719-9_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:01:38Z","timestamp":1605628898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55719-9_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540557197","9783540472780"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-55719-9_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}