{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:22:12Z","timestamp":1725495732950},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677154"},{"type":"electronic","value":"9783540450221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45022-x_46","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T23:57:25Z","timestamp":1194998245000},"page":"547-560","source":"Crossref","is-referenced-by-count":13,"title":["On the Power of Tree-Walking Automata"],"prefix":"10.1007","author":[{"given":"Frank","family":"Neven","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Schwentick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,18]]},"reference":[{"key":"46_CR1","unstructured":"S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann, 1999."},{"key":"46_CR2","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/S0019-9958(71)90706-6","volume":"19","author":"A. V. Aho","year":"1971","unstructured":"A. V. Aho and J. D. Ullman. Translations on a context-free grammar. Inform, and Control, 19:439\u2013475, 1971.","journal-title":"Inform, and Control"},{"key":"46_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0023754","volume-title":"Computer Science Logic","author":"Y. Bargury","year":"1991","unstructured":"Y. Bargury and J. A. Makowsky. The expressive power of transitive closure logic and 2-way multi-head automata. In E. Borger, G. J\u00e4ger, H. K. Buning, and M. M. Richter editors. Computer Science Logic, volume 626 of Lecture Notes in Computer Science, pages 1\u201314. Springer-Verlag, 1991."},{"key":"46_CR4","unstructured":"G. Bex, S. Maneth, and F. Neven. A formal model for an expressive fragment of XSLT. Submitted."},{"key":"46_CR5","unstructured":"R. Bloem and J. Engelfriet. A comparison of tree transductions defined by monadic second order logic and by attribute grammars. To appear in the Journal of Computer and System Sciences."},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"A. Br\u00fcggeman-Klein, S. Hermann, and D. Wood. Context, caterpillars, tree automata, and tree pattern matching. In Proceedings of the 4th International Conference on Developments in Language Theory, 1999.","DOI":"10.1142\/9789812792464_0023"},{"key":"46_CR7","unstructured":"J. Clark. XSL Transformations version 1.0. http:\/\/www.w3.org\/TR\/xslt ."},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"J. Engelfriet and H. J. Hoogeboom. Tree-walking pebble automata. In J. Karhum\u00e4ki, H. Maurer, G. Paun, and G. Rozenberg, editors, Jewels are forever, contributions to Theoretical Computer Science in honor of Arto Salomaa, pages 72\u201383. Springer-Verlag, 1999.","DOI":"10.1007\/978-3-642-60207-8_7"},{"key":"46_CR9","unstructured":"J. Engelfriet and H. J. Hoogeboom. Private communication."},{"key":"46_CR10","first-page":"51","volume":"14","author":"J. Engelfriet","year":"1999","unstructured":"J. Engelfriet, H.J. Hoogeboom, and J.-P. van Best. Trips on trees. Acta Cybernetica, 14:51\u201364, 1999.","journal-title":"Acta Cybernetica"},{"key":"46_CR11","doi-asserted-by":"crossref","unstructured":"Z. F\u00fcl\u00f6p and S. Maneth. Domains of partial attributed tree transducers. Information Processing Letters, 175\u2013180, 2000.","DOI":"10.1016\/S0020-0190(00)00028-4"},{"key":"46_CR12","doi-asserted-by":"crossref","unstructured":"H. Gaifman. On local and nonlocal properties. In J. Stern, editor, Logic Colloquium\u2019 81, pages 105\u2013135. North Holland, 1982.","DOI":"10.1016\/S0049-237X(08)71879-2"},{"key":"46_CR13","doi-asserted-by":"crossref","unstructured":"F. G\u00e9cseg and M. Steinby. Tree languages. In A. Salomaa, editors. Handbook of Formal Languages. Springer, 1997 [19], chapter 1.","DOI":"10.1007\/978-3-642-59126-6_1"},{"issue":"1","key":"46_CR14","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1016\/S0019-9958(81)90438-1","volume":"49","author":"T. Kamimura","year":"1981","unstructured":"T. Kamimura and G. Slutzki. Parallel and two-way automata on directed ordered acyclic graphs. Information and Control, 49(1): 10\u201351, April 1981.","journal-title":"Information and Control"},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"T. Milo, D. Suciu, and V. Vianu. Type checking for XML transformers. Proceedings of the 19th ACM Symposium on Principles of Database Systems, 2000.","DOI":"10.1145\/335168.335171"},{"key":"46_CR16","unstructured":"F. Neven. Design and Analysis of Query Languages for Structured Documents \u2014 A Formal and Logical Approach. Doctor\u2019s thesis, Limburgs Universitair Centrum, 1999."},{"key":"46_CR17","doi-asserted-by":"crossref","unstructured":"F. Neven and T. Schwentick. Expressive and efficient pattern languages for tree-structured data. Proceedings of the 19th ACM Symposium on Principles of Database Systems, 2000.","DOI":"10.1145\/335168.335217"},{"key":"46_CR18","unstructured":"A. Potthoff. Logische Klassifizierung regul\u00e4rer Baumsprachen. Doctor\u2019s thesis, Institut f\u00fcr Informatik u. Prakt. Math., Universit\u00e4t Kiel, 1994."},{"key":"46_CR19","doi-asserted-by":"crossref","unstructured":"G. Rozenberg and A. Salomaa, editors. Handbook of Formal Languages. Springer, 1997.","DOI":"10.1007\/978-3-642-59126-6"},{"key":"46_CR20","doi-asserted-by":"crossref","unstructured":"W. Thomas. Languages, automata, and logic. In A. Salomaa, editors. Handbook of Formal Languages. Springer, 1997 [19], chapter 7.","DOI":"10.1007\/978-3-642-59126-6_7"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45022-X_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T11:25:29Z","timestamp":1556969129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45022-X_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677154","9783540450221"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45022-x_46","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}