{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:08:20Z","timestamp":1774987700753,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662439500","type":"print"},{"value":"9783662439517","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43951-7_3","type":"book-chapter","created":{"date-parts":[[2014,6,11]],"date-time":"2014-06-11T04:37:49Z","timestamp":1402461469000},"page":"26-37","source":"Crossref","is-referenced-by-count":19,"title":["Transducers with Origin Information"],"prefix":"10.1007","author":[{"given":"Miko\u0142aj","family":"Boja\u0144czyk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Cern\u00fd, P.: Expressiveness of streaming string transducers. In: FSTTCS 2010, pp. 1\u201312 (2010)","DOI":"10.1007\/978-3-642-22012-8_1"},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput.\u00a075(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"issue":"6","key":"3_CR3","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1016\/S0022-0000(70)80027-7","volume":"4","author":"A.V. Aho","year":"1970","unstructured":"Aho, A.V., Ullman, J.D.: A characterization of two-way deterministic classes of languages. J. Comput. Syst. Sci.\u00a04(6), 523\u2013538 (1970)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/jcss.1999.1684","volume":"61","author":"R. Bloem","year":"2000","unstructured":"Bloem, R., Engelfriet, J.: A comparison of tree transductions defined by monadic second order logic and by attribute grammars. J. Comput. Syst. Sci.\u00a061(1), 1\u201350 (2000)","journal-title":"J. Comput. Syst. Sci."},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-08342-1_11","volume-title":"Automata, Languages and Programming","author":"M. Chytil","year":"1977","unstructured":"Chytil, M., J\u00e1kl, V.: Serial composition of 2-way finite-state transducers and simple programs on strings. In: Salomaa, A., Steinby, M. (eds.) ICALP 1977. LNCS, vol.\u00a052, pp. 135\u2013147. Springer, Heidelberg (1977)"},{"issue":"2","key":"3_CR6","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1145\/371316.371512","volume":"2","author":"J. Engelfriet","year":"2001","unstructured":"Engelfriet, J., Hoogeboom, H.J.: mso definable string transductions and two-way finite-state transducers. ACM Trans. Comput. Log.\u00a02(2), 216\u2013254 (2001)","journal-title":"ACM Trans. Comput. Log."},{"issue":"4","key":"3_CR7","doi-asserted-by":"publisher","first-page":"950","DOI":"10.1137\/S0097539701394511","volume":"32","author":"J. Engelfriet","year":"2003","unstructured":"Engelfriet, J., Maneth, S.: Macro tree translations of linear size increase are mso definable. SIAM J. Comput.\u00a032(4), 950\u20131006 (2003)","journal-title":"SIAM J. Comput."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Filiot, E., Gauwin, O., Reynier, P.-A., Servais, F.: From two-way to one-way finite state transducers. In: LICS, pp. 468\u2013477. IEEE Computer Society (2013)","DOI":"10.1109\/LICS.2013.53"},{"issue":"3","key":"3_CR9","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1137\/0211035","volume":"11","author":"E.M. Gurari","year":"1982","unstructured":"Gurari, E.M.: The equivalence problem for deterministic two-way sequential transducers is decidable. SIAM J. Comput.\u00a011(3), 448\u2013452 (1982)","journal-title":"SIAM J. Comput."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Lemay, A., Maneth, S., Niehren, J.: A learning algorithm for top-down xml transformations. In: Paredaens, J., Van Gucht, D. (eds.) PODS, pp. 285\u2013296. ACM (2010)","DOI":"10.1145\/1807085.1807122"},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.jcss.2005.08.003","volume":"72","author":"P. McKenzie","year":"2006","unstructured":"McKenzie, P., Schwentick, T., Th\u00e9rien, D., Vollmer, H.: The many faces of a translation. J. Comput. Syst. Sci.\u00a072(1), 163\u2013179 (2006)","journal-title":"J. Comput. Syst. Sci."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Thomas, W.: Languages, automata, and logic. In: Handbook of Formal Language Theory, vol.\u00a0III, pp. 389\u2013455. Springer (1997)","DOI":"10.1007\/978-3-642-59126-6_7"},{"issue":"5\/6","key":"3_CR13","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1016\/S0747-7171(06)80004-0","volume":"15","author":"A. Deursen van","year":"1993","unstructured":"van Deursen, A., Klint, P., Tip, F.: Origin tracking. J. Symb. Comput.\u00a015(5\/6), 523\u2013545 (1993)","journal-title":"J. Symb. Comput."},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/3-540-57785-8_175","volume-title":"STACS 94","author":"A. Weber","year":"1994","unstructured":"Weber, A., Klemm, R.: Economy of description for single-valued transducers. In: Enjalbert, P., Mayr, E.W., Wagner, K.W. (eds.) STACS 1994. LNCS, vol.\u00a0775, pp. 607\u2013618. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages, and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43951-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T17:48:23Z","timestamp":1597945703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43951-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662439500","9783662439517"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43951-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}