{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T20:40:28Z","timestamp":1739306428728,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642035630"},{"type":"electronic","value":"9783642035647"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03564-7_1","type":"book-chapter","created":{"date-parts":[[2009,8,20]],"date-time":"2009-08-20T07:05:35Z","timestamp":1250751935000},"page":"1-12","source":"Crossref","is-referenced-by-count":0,"title":["Cycle-Free Finite Automata in Partial Iterative Semirings"],"prefix":"10.1007","author":[{"given":"Stephen L.","family":"Bloom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoltan","family":"\u00c9sik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Kuich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"EATCS monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-78034-9","volume-title":"Iteration Theories: The Equational Logic of Iterative Processes","author":"S.L. Bloom","year":"1993","unstructured":"Bloom, S.L., \u00c9sik, Z.: Iteration Theories: The Equational Logic of Iterative Processes. EATCS monographs on Theoretical Computer Science. Springer, Heidelberg (1993)"},{"key":"1_CR2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.3233\/FUN-2008-861-202","volume":"86","author":"S.L. Bloom","year":"2008","unstructured":"Bloom, S.L., \u00c9sik, Z., Kuich, W.: Partial Conway and iteration semirings. Fundamenta Informaticae\u00a086, 19\u201340 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR3","volume-title":"Regular Algebra and Finite Machines","author":"J.H. Conway","year":"1971","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, Boca Raton (1971)"},{"key":"1_CR4","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01492-5","volume-title":"Handbook of Weighted Automata","author":"M. Droste","year":"2009","unstructured":"Droste, M., Kuich, W.: Semirings and formal power series. In: Droste, M., Kuich, W., Vogler, H. (eds.) Handbook of Weighted Automata. EATCS Monographs on Theoretical Computer Science, ch.\u00a01. Springer, Heidelberg (to appear, 2009)"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.tcs.2006.08.024","volume":"366","author":"M. Droste","year":"2006","unstructured":"Droste, M., Kuske, D.: Skew and infinitary formal power series. Theoretical Computer Science\u00a0366, 199\u2013227 (2006)","journal-title":"Theoretical Computer Science"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.ipl.2008.03.014","volume":"108","author":"M. Droste","year":"2008","unstructured":"Droste, M., Sakarovitch, J., Vogler, H.: Weighted automata with discounting. Information Processing Letters\u00a0108, 23\u201328 (2008)","journal-title":"Information Processing Letters"},{"key":"1_CR7","series-title":"Studies in Fuzziness and Soft Computing","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-39886-8_10","volume-title":"Formal Languages and Applications","author":"Z. Esik","year":"2004","unstructured":"Esik, Z., Kuich, W.: Equational axioms for a theory of automata. In: Martin-Vide, C., Mitrana, V., Paun, G. (eds.) Formal Languages and Applications. Studies in Fuzziness and Soft Computing, 148, pp. 183\u2013196. Springer, Heidelberg (2004)"},{"key":"1_CR8","unstructured":"Esik, Z., Kuich, W.: Modern Automata Theory (2007), www.dmg.tuwien.ac.at\/kuich"},{"key":"1_CR9","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Handbook of Weighted Automata, ch. 3","author":"Z. \u00c9sik","year":"2009","unstructured":"\u00c9sik, Z., Kuich, W.: Finite Automata. In: Droste, M., Kuich, W., Vogler, H. (eds.) Handbook of Weighted Automata, ch. 3. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (to appear, 2009)"},{"key":"1_CR10","first-page":"719","volume":"17","author":"W. Kuich","year":"2006","unstructured":"Kuich, W.: Kleene Theorems for skew formal power series. Acta Cybernetica\u00a017, 719\u2013749 (2006)","journal-title":"Acta Cybernetica"},{"key":"1_CR11","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69959-7","volume-title":"Semirings, Automata, Languages","author":"W. Kuich","year":"1986","unstructured":"Kuich, W., Salomaa, A.: Semirings, Automata, Languages. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1986)"},{"key":"1_CR12","unstructured":"Sakarovitch, J.: \u00c9l\u00e9ments de th\u00e9orie des automates. Vuibert (2003)"},{"key":"1_CR13","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Handbook of Weighted Automata","author":"J. Sakarovitch","year":"2009","unstructured":"Sakarovitch, J.: Rational and recognizable power series. In: Droste, M., Kuich, W., Vogler, H. (eds.) Handbook of Weighted Automata. EATCS Monographs on Theoretical Computer Science, ch.\u00a04. Springer, Heidelberg (to appear, 2009)"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0019-9958(61)80020-X","volume":"4","author":"M.P. Sch\u00fctzenberger","year":"1961","unstructured":"Sch\u00fctzenberger, M.P.: On the definition of a family of automata. Inf. Control\u00a04, 245\u2013270 (1961)","journal-title":"Inf. Control"}],"container-title":["Lecture Notes in Computer Science","Algebraic Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03564-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T20:07:23Z","timestamp":1739304443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03564-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642035630","9783642035647"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03564-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}