{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:13:35Z","timestamp":1725732815475},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387081"},{"type":"electronic","value":"9783642387098"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44602-7_16","type":"book-chapter","created":{"date-parts":[[2014,8,23]],"date-time":"2014-08-23T01:18:40Z","timestamp":1408756720000},"page":"195-206","source":"Crossref","is-referenced-by-count":2,"title":["Tropical Two-Way Automata"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Carnino","sequence":"first","affiliation":[]},{"given":"Sylvain","family":"Lombardy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0304-3975(01)00214-6","volume":"292","author":"M.-P. B\u00e9al","year":"2003","unstructured":"B\u00e9al, M.-P., Carton, O., Prieur, C., Sakarovitch, J.: Squaring transducers: an efficient procedure for deciding functionality and sequentiality. Theor. Comput. Sci.\u00a0292(1), 45\u201363 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR2","unstructured":"Carnino, V., Lombardy, S.: On determinism and unambiguity of weighted two-way automata. In: AFL 2014 (accepted, 2014)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"\u00c9sik, Z., Kuich, W.: Finite automata. In: Droste, M., et al. (eds.) Handbook of Weighted Automata, pp. 69\u2013104. Springer (2009)","DOI":"10.1007\/978-3-642-01492-5_3"},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1142\/S0218196794000063","volume":"4","author":"D. Krob","year":"1994","unstructured":"Krob, D.: The equality problem for rational series with multiplicities in the tropical semiring is undecidable. Internat. J. Algebra Comput.\u00a04(3), 405\u2013425 (1994)","journal-title":"Internat. J. Algebra Comput."},{"issue":"1","key":"16_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1051\/ita:2005042","volume":"40","author":"S. Lombardy","year":"2006","unstructured":"Lombardy, S., Mairesse, J.: Series which are both max-plus and min-plus rational are unambiguous. RAIRO - Theor. Inf. and Appl.\u00a040(1), 1\u201314 (2006)","journal-title":"RAIRO - Theor. Inf. and Appl."},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1142\/S0218196713400146","volume":"23","author":"S. Lombardy","year":"2013","unstructured":"Lombardy, S., Sakarovitch, J.: The validity of weighted automata. Internat. J. Algebra Comput.\u00a023, 863\u2013913 (2013)","journal-title":"Internat. J. Algebra Comput."},{"issue":"2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1147\/rd.32.0114","volume":"3","author":"M.O. Rabin","year":"1959","unstructured":"Rabin, M.O., Scott, D.: Finite automata and their decision problems. IBM J. Res. Dev.\u00a03(2), 114\u2013125 (1959)","journal-title":"IBM J. Res. Dev."},{"issue":"2","key":"16_CR8","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1147\/rd.32.0198","volume":"3","author":"J.C. Shepherdson","year":"1959","unstructured":"Shepherdson, J.C.: The reduction of two-way automata to one-way automata. IBM J. Res. Dev.\u00a03(2), 198\u2013200 (1959)","journal-title":"IBM J. Res. Dev."}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44602-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,15]],"date-time":"2018-10-15T17:17:17Z","timestamp":1539623837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44602-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642387081","9783642387098"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44602-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}