{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:43:11Z","timestamp":1725745391261},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406621"},{"type":"electronic","value":"9783642406638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40663-8_23","type":"book-chapter","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T01:03:57Z","timestamp":1376960637000},"page":"247-259","source":"Crossref","is-referenced-by-count":1,"title":["Characterizations of Weighted First-Order Logics over Semirings"],"prefix":"10.1007","author":[{"given":"Eleni","family":"Mandrali","sequence":"first","affiliation":[]},{"given":"George","family":"Rahonis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/978-3-642-14162-1_49","volume-title":"Automata, Languages and Programming","author":"B. Bollig","year":"2010","unstructured":"Bollig, B., Gastin, P., Monmege, B., Zeitoun, M.: Pebble weighted automata and transitive closure logics. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol.\u00a06199, pp. 587\u2013598. Springer, Heidelberg (2010)"},{"key":"23_CR3","unstructured":"Diekert, V., Gastin, P.: First-order definable languages. In: Logic and Automata: History and Perspectives. Texts in Logic and Games, vol.\u00a02, pp. 261\u2013306. Amsterdam University Press (2007)"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.ic.2012.10.001","volume":"220-221","author":"M. Droste","year":"2012","unstructured":"Droste, M., Meinecke, I.: Weighted automata and weighted MSO logics for average and long-time behaviors. Inform. and Comput.\u00a0220-221, 44\u201359 (2012)","journal-title":"Inform. and Comput."},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.tcs.2011.11.008","volume":"418","author":"M. Droste","year":"2012","unstructured":"Droste, M., Vogler, H.: Weighted automata and multi-valued logics over arbitrary bounded lattices. Theoret. Comput. Sci.\u00a0418, 14\u201336 (2012)","journal-title":"Theoret. Comput. Sci."},{"key":"23_CR6","unstructured":"Eilenberg, S.: Automata, Languages and Machines, vol. A. Academic Press (1974)"},{"key":"23_CR7","first-page":"203","volume":"10","author":"Z. \u00c9sik","year":"2005","unstructured":"\u00c9sik, Z., Kuich, W.: A semiring-semimodule generalization of \u03c9-regular languages\u00a0I. J. of Automata Languages and Combinatorics\u00a010, 203\u2013242 (2005)","journal-title":"J. of Automata Languages and Combinatorics"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s00233-007-0709-7","volume":"75","author":"Z. \u00c9sik","year":"2007","unstructured":"\u00c9sik, Z., Kuich, W.: On iteration semiring-semimodule pairs. Semigroup Forum\u00a075, 129\u2013159 (2007)","journal-title":"Semigroup Forum"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Kuich, W.: Semirings and formal power series: Their relevance to formal languages and automata theory. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a01, pp. 609\u2013677. Springer (1997)","DOI":"10.1007\/978-3-642-59136-5_9"},{"key":"23_CR10","unstructured":"Kuperberg, D.: Linear temporal logics for regular cost functions. In: Proceedings of STACS 2011. LIPIcs, vol.\u00a09, pp. 627\u2013636. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-642-31585-5_28","volume-title":"Automata, Languages, and Programming","author":"D. Kuperberg","year":"2012","unstructured":"Kuperberg, D., Vanden Boom, M.: On the expressive power of cost logics over infinite words. In: Czumaj, A., Mehlhorn, K., Pitts, A., Wattenhofer, R. (eds.) ICALP 2012, Part II. LNCS, vol.\u00a07392, pp. 287\u2013298. Springer, Heidelberg (2012)"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"981","DOI":"10.1016\/j.jcss.2011.08.006","volume":"78","author":"O. Kupferman","year":"2012","unstructured":"Kupferman, O., Pnueli, A., Vardi, M.Y.: Once for all. J. Comput. Syst. Sci.\u00a078, 981\u2013996 (2012)","journal-title":"J. Comput. Syst. Sci."},{"key":"23_CR13","unstructured":"Mandrali, E., Rahonis, G.: On weighted first-order logics with discounting (submitted)"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Thomas, W.: Languages, automata and logic. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a03, pp. 389\u2013485. Springer (1997)","DOI":"10.1007\/978-3-642-59126-6_7"},{"key":"23_CR15","series-title":"Lecture Notes in Artificial Intelligence","first-page":"89","volume-title":"ICLA 2009","author":"M.Y. Vardi","year":"2009","unstructured":"Vardi, M.Y.: From philosophical to industrial logics. In: Ramanujam, R., Sarukkai, S. (eds.) ICLA 2009. LNCS (LNAI), vol.\u00a05378, pp. 89\u2013115. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Algebraic Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40663-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T19:44:00Z","timestamp":1558035840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40663-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406621","9783642406638"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40663-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}