{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:04:16Z","timestamp":1725545056392},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540310235"},{"type":"electronic","value":"9783540330974"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11605157_25","type":"book-chapter","created":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T10:07:40Z","timestamp":1141207660000},"page":"294-306","source":"Crossref","is-referenced-by-count":6,"title":["Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment"],"prefix":"10.1007","author":[{"given":"Tadahiro","family":"Suda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haruo","family":"Hosoya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E.: Extensible markup language (XMLTM) (2000), http:\/\/www.w3.org\/XML\/"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A typed XML processing language. ACM Transactions on Internet Technology\u00a03, 117\u2013148 (2003)","journal-title":"ACM Transactions on Internet Technology"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: a white paper. In: PLAN-X: Programming Language Technologies for XML (2002)","DOI":"10.1145\/944705.944711"},{"key":"25_CR4","unstructured":"Fankhauser, P., Fern\u00e1ndez, M., Malhotra, A., Rys, M., Sim\u00e9on, J., Wadler, P.: XQuery 1.0 Formal Semantics (2001), http:\/\/www.w3.org\/TR\/query-semantics\/"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/335168.335171","volume-title":"Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems","author":"T. Milo","year":"2000","unstructured":"Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. In: Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 11\u201322. ACM, New York (2000)"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-63620-X_61","volume-title":"Principles of Document Processing","author":"M. Murata","year":"1997","unstructured":"Murata, M.: Transformation of documents and schemas by patterns and contextual conditions. In: Nicholas, C., Wood, D. (eds.) PODDP 1996 and PODP 1996. LNCS, vol.\u00a01293, pp. 153\u2013169. Springer, Heidelberg (1997)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Tozawa, A.: Towards static type checking for XSLT. In: Proceedings of ACM Symposium on Document Engineering (2001)","DOI":"10.1145\/502187.502191"},{"key":"25_CR8","unstructured":"Murata, M., Lee, D., Mani, M.: Taxonomy of XML schema languages using formal language theory. In: Extreme Markup Languages (2001)"},{"key":"25_CR9","unstructured":"Fallside, D.C.: XML Schema Part 0: Primer, W3C Recommendation (2001), http:\/\/www.w3.org\/TR\/xmlschema-0\/"},{"key":"25_CR10","unstructured":"Clark, J., Murata, M.: RELAX NG (2001), http:\/\/www.relaxng.org"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1137\/0219027","volume":"19","author":"H. Seidl","year":"1990","unstructured":"Seidl, H.: Deciding equivalence of finite tree automata. SIAM Journal of Computing\u00a019, 424\u2013437 (1990)","journal-title":"SIAM Journal of Computing"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. In: Proceedings of the International Conference on Functional Programming (ICFP), pp. 11\u201322 (2000)","DOI":"10.1145\/351240.351242"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Suda, T., Hosoya, H.: Non-backtracking top-down algorithm for checking tree automata containment (2005), full version http:\/\/arbre.is.s.u-tokyo.ac.jp\/","DOI":"10.1007\/11605157_25"},{"key":"25_CR14","unstructured":"Frisch, A.: Th\u00e9orie, conception et r\u00e9alisation d\u2019un langage de programmation fonctionnel adapt\u00e9 \u00e0 XML. PhD thesis, Universit Paris 7 (2004)"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"W.F. Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional horn formulas. Journal of Logic Programming\u00a01, 267\u2013284 (1984)","journal-title":"Journal of Logic Programming"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-45089-0_20","volume-title":"Implementation and Application of Automata","author":"A. Tozawa","year":"2003","unstructured":"Tozawa, A., Hagiya, M.: XML schema containment checking based on semi-implicit techniques. In: H. Ibarra, O., Dang, Z. (eds.) CIAA 2003. LNCS, vol.\u00a02759, pp. 213\u2013225. Springer, Heidelberg (2003)"},{"key":"25_CR17","unstructured":"OASIS: DocBook (2002), http:\/\/www.docbook.org"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11605157_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:05:19Z","timestamp":1619492719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11605157_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540310235","9783540330974"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11605157_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}