{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:28:49Z","timestamp":1725460129029},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642316050"},{"type":"electronic","value":"9783642316067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31606-7_12","type":"book-chapter","created":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T07:47:55Z","timestamp":1345880875000},"page":"138-148","source":"Crossref","is-referenced-by-count":2,"title":["Weighted Nested Word Automata and Logics over Strong Bimonoids"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Droste","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bundit","family":"Pibaljommee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4:11","key":"12_CR1","first-page":"1","volume":"4","author":"R. Alur","year":"2008","unstructured":"Alur, R., Arenas, M., Barcel\u00f3, P., Etessami, K., Immerman, N., Libkin, L.: First-order and temporal logics for nested words. Logical Methods in Computer Science\u00a04(4:11), 1\u201344 (2008)","journal-title":"Logical Methods in Computer Science"},{"issue":"3","key":"12_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1516512.1516518","volume":"56","author":"R. Alur","year":"2009","unstructured":"Alur, R., Madhusudan, P.: Adding nesting structure to words. Journal of the ACM\u00a056(3), article 16, 1\u201343 (2009)","journal-title":"Journal of the ACM"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"B. Birkhoff","year":"1936","unstructured":"Birkhoff, B., von Neumann, J.: The logic of quantum mechanics. Annals of Math.\u00a037, 823\u2013843 (1936)","journal-title":"Annals of Math."},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-02737-6_2","volume-title":"Developments in Language Theory","author":"B. Bollig","year":"2009","unstructured":"Bollig, B., Gastin, P.: Weighted versus Probabilistic Logics. In: Diekert, V., Nowotka, D. (eds.) DLT 2009. LNCS, vol.\u00a05583, pp. 18\u201338. Springer, Heidelberg (2009)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Berstel, J., Reutenauer, C.: Rational Series and Their Languages. Monographs in Theoretical Computer Science, vol.\u00a012. Springer (1988)","DOI":"10.1007\/978-3-642-73235-5"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"3497","DOI":"10.1016\/j.ins.2010.05.020","volume":"180","author":"M. \u0106iri\u0107","year":"2010","unstructured":"\u0106iri\u0107, M., Droste, M., Ignjatovi\u0107, J., Vogler, H.: Determinization of weighted finite automata over strong bimonoids. Inform. Sciences\u00a0180, 3497\u20133520 (2010)","journal-title":"Inform. Sciences"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2007.02.055","volume":"380","author":"M. Droste","year":"2007","unstructured":"Droste, M., Gastin, P.: Weighted automata and weighted logics. Theoretical Computer Science\u00a0380, 69\u201386 (2007); Special issue of ICALP 2005","journal-title":"Theoretical Computer Science"},{"key":"12_CR8","unstructured":"Droste, M., Gastin, P.: Weighted automata and weighted logics. In: [9], ch. 5"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science. Springer (2009)","DOI":"10.1007\/978-3-642-01492-5"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.ins.2009.09.003","volume":"180","author":"M. Droste","year":"2010","unstructured":"Droste, M., St\u00fcber, T., Vogler, H.: Weighted automata over strong bimonoids. Information Sciences\u00a0180, 156\u2013166 (2010)","journal-title":"Information Sciences"},{"key":"12_CR11","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. Theoretical Computer Science\u00a0418, 14\u201336 (2012); Extended abstract in DLT 2010","journal-title":"Theoretical Computer Science"},{"key":"12_CR12","unstructured":"Eilenberg, S.: Automata, Languages, and Machines, Volume A. Pure and Applied Mathematics, vol.\u00a059. Academic Press (1974)"},{"key":"12_CR13","series-title":"Studies in Logic and Computation","volume-title":"A Treatise on Many-Valued Logics","author":"S. Gottwald","year":"2001","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logics. Studies in Logic and Computation. Research Studies Press LTD, Hertfordshire (2001)"},{"key":"12_CR14","volume-title":"General Lattice Theory","author":"G. Gr\u00e4tzer","year":"2003","unstructured":"Gr\u00e4tzer, G.: General Lattice Theory. Birkh\u00e4user Verlag, Basel (2003)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Kuich, W., Salomaa, A.: Semirings, Automata, Languages. Monographs in Theoretical Computer Science. An EATCS Series, vol.\u00a06. Springer (1986)","DOI":"10.1007\/978-3-642-69959-7"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BFb0028261","volume-title":"Algorithms and Data Structures","author":"T. Lengauer","year":"1991","unstructured":"Lengauer, T., Theune, D.: Unstructured Path Problems and the Making of Semirings. In: Dehne, F., Sack, J.-R., Santoro, N. (eds.) WADS 1991. LNCS, vol.\u00a0519, pp. 189\u2013200. Springer, Heidelberg (1991)"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s11432-010-0003-2","volume":"53","author":"Y.M. Li","year":"2010","unstructured":"Li, Y.M.: Finite automata based on quantum logic and monadic second-order quantum logic. Science China Information Sciences\u00a053, 101\u2013114 (2010)","journal-title":"Science China Information Sciences"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/11562931_23","volume-title":"Logic Programming","author":"A. Mallya","year":"2005","unstructured":"Mallya, A.: Deductive Multi-valued Model Checking. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 297\u2013310. Springer, Heidelberg (2005)"},{"key":"12_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-6(1:5)2010","volume":"6","author":"C. Mathissen","year":"2010","unstructured":"Mathissen, C.: Weighted logics for nested words and algebraic formal power series. Logical Methods Computer in Science\u00a06, 1\u201334 (2010); Special issue of ICALP 2008","journal-title":"Logical Methods Computer in Science"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(98)00115-7","volume":"234","author":"M. Mohri","year":"2000","unstructured":"Mohri, M.: Minimization algorithms for sequential transducers. Theoretical Computer Science\u00a0234, 177\u2013201 (2000)","journal-title":"Theoretical Computer Science"},{"key":"12_CR21","unstructured":"Mohri, M.: Weighted automata algorithms. In: [9], ch. 6"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.ic.2003.11.003","volume":"190","author":"D. Qiu","year":"2004","unstructured":"Qiu, D.: Automata theory based on quantum logic: some characterizations. Information and Computation\u00a0190, 179\u2013195 (2004)","journal-title":"Information and Computation"},{"key":"12_CR23","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.tcs.2007.05.026","volume":"386","author":"D. Qiu","year":"2007","unstructured":"Qiu, D.: Automata theory based on quantum logic: Reversibilities and pushdown automata. Theoretical Computer Science\u00a0386, 38\u201356 (2007)","journal-title":"Theoretical Computer Science"},{"key":"12_CR24","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. Information and Control\u00a04, 245\u2013270 (1961)","journal-title":"Information and Control"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Salomaa, A., Soittola, M.: Automata-Theoretic Aspects of Formal Power Series. Texts and Monographs in Computer Science. Springer (1978)","DOI":"10.1007\/978-1-4612-6264-0"},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1023\/A:1003642222321","volume":"39","author":"M. Ying","year":"2000","unstructured":"Ying, M.: Automata theory based on quantum logic (I) and (II). Int. J. of Theoret. Physics\u00a039, 985\u2013995, 2545-2557 (2000)","journal-title":"Int. J. of Theoret. Physics"},{"key":"12_CR27","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.tcs.2005.04.001","volume":"344","author":"M. Ying","year":"2005","unstructured":"Ying, M.: A theory of computation based on quantum logic (I). Theoretical Computer Science\u00a0344, 134\u2013207 (2005)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31606-7_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:39:55Z","timestamp":1620128395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31606-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642316050","9783642316067"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31606-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}