{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:03:41Z","timestamp":1725563021642},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148071"},{"type":"electronic","value":"9783642148088"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14808-8_4","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T09:52:01Z","timestamp":1282384321000},"page":"45-59","source":"Crossref","is-referenced-by-count":0,"title":["Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules"],"prefix":"10.1007","author":[{"given":"Lei","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haiming","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"4_CR1","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 statically typed XML processing language. ACM Trans. Interet Technol.\u00a03(2), 117\u2013148 (2003)","journal-title":"ACM Trans. Interet Technol."},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/1053468.1053470","volume":"27","author":"H. Hosoya","year":"2005","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. ACM Trans. Program. Lang. Syst.\u00a027(1), 46\u201390 (2005)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XML-centric general-purpose language. In: ICFP, pp. 51\u201363 (2003)","DOI":"10.1145\/944705.944711"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-540-85373-2_5","volume-title":"Implementation and Application of Functional Languages","author":"M. Sulzmann","year":"2008","unstructured":"Sulzmann, M., Lu, K.Z.M.: XHaskell - adding regular expression types to Haskell. In: Chitil, O., Horv\u00e1th, Z., Zs\u00f3k, V. (eds.) IFL 2007. LNCS, vol.\u00a05083, pp. 75\u201392. Springer, Heidelberg (2008)"},{"issue":"6","key":"4_CR5","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1017\/S0956796802004410","volume":"13","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: Regular expression pattern matching for XML. J. Funct. Program\u00a013(6), 961\u20131004 (2003)","journal-title":"J. Funct. Program"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Frisch, A.: Regular tree language recognition with static information. In: IFIP TCS, pp. 661\u2013674 (2004)","DOI":"10.1007\/1-4020-8141-3_50"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Suzuki, N.: An edit operation-based approach to the inclusion problem for DTDs. In: SAC, pp. 482\u2013488 (2007)","DOI":"10.1145\/1244002.1244115"},{"key":"4_CR8","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C., Maler, E., Yergeau, F.: Extensible markup language (XML) 1.0 (2008), http:\/\/www.w3.org\/tr\/xml"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-540-88282-4_18","volume-title":"Language and Automata Theory and Applications","author":"J. Champav\u00e8re","year":"2008","unstructured":"Champav\u00e8re, J., Gilleron, R., Lemay, A., Niehren, J.: Efficient inclusion checking for deterministic tree automata and DTDs. In: Mart\u00edn-Vide, C., Otto, F., Fernau, H. (eds.) LATA 2008. LNCS, vol.\u00a05196, pp. 184\u2013195. Springer, Heidelberg (2008)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1007\/978-3-540-28629-5_70","volume-title":"Mathematical Foundations of Computer Science 2004","author":"W. Martens","year":"2004","unstructured":"Martens, W., Neven, F., Schwentick, T.: Complexity of decision problems for simple regular expressions. In: Fiala, J., Koubek, V., Kratochv\u00edl, J. (eds.) MFCS 2004. LNCS, vol.\u00a03153, pp. 889\u2013900. Springer, Heidelberg (2004)"},{"issue":"3","key":"4_CR11","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1145\/1166074.1166076","volume":"31","author":"W. Martens","year":"2006","unstructured":"Martens, W., Neven, F., Schwentick, T., Bex, G.J.: Expressiveness and complexity of XML Schema. ACM Trans. Database Syst.\u00a031(3), 770\u2013813 (2006)","journal-title":"ACM Trans. Database Syst."},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-540-75987-4_16","volume-title":"Database Programming Languages","author":"G. Ghelli","year":"2007","unstructured":"Ghelli, G., Colazzo, D., Sartiani, C.: Efficient inclusion for a class of XML types with interleaving and counting. In: Arenas, M., Schwartzbach, M.I. (eds.) DBPL 2007. LNCS, vol.\u00a04797, pp. 231\u2013245. Springer, Heidelberg (2007)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Colazzo, D., Ghelli, G., Sartiani, C.: Efficient asymmetric inclusion between regular expression types. In: ICDT, pp. 174\u2013182 (2009)","DOI":"10.1145\/1514894.1514916"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Sperberg-McQueen, C., Thompson, H.: XML Schema (2005), http:\/\/www.w3.org\/XML\/Schema","DOI":"10.1145\/1103822.1103834"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1006\/inco.1997.2695","volume":"142","author":"A. Br\u00fcggemann-Klein","year":"1998","unstructured":"Br\u00fcggemann-Klein, A., Wood, D.: One-unambiguous regular languages. Inf. Comput.\u00a0142(2), 182\u2013206 (1998)","journal-title":"Inf. Comput."},{"issue":"4","key":"4_CR16","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1145\/1111627.1111631","volume":"5","author":"M. Murata","year":"2005","unstructured":"Murata, M., Lee, D., Mani, M., Kawaguchi, K.: Taxonomy of XML schema languages using formal language theory. ACM Trans. Internet Techn.\u00a05(4), 660\u2013704 (2005)","journal-title":"ACM Trans. Internet Techn."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Bex, G.J., Neven, F., den Bussche, J.V.: DTDs versus XML Schema: a practical study. In: WebDB, pp. 79\u201384 (2004)","DOI":"10.1145\/1017074.1017095"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11523468_3","volume-title":"Automata, Languages and Programming","author":"G. Castagna","year":"2005","unstructured":"Castagna, G., Frisch, A.: A gentle introduction to semantic subtyping. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 30\u201334. Springer, Heidelberg (2005)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-540-30124-0_32","volume-title":"Computer Science Logic","author":"J. Vouillon","year":"2004","unstructured":"Vouillon, J.: Subtyping union types. In: Marcinkowski, J., Tarlecki, A. (eds.) CSL 2004. LNCS, vol.\u00a03210, pp. 415\u2013429. Springer, Heidelberg (2004)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-85762-4_7","volume-title":"Theoretical Aspects of Computing - ICTAC 2008","author":"H. Chen","year":"2008","unstructured":"Chen, H., Chen, L.: Inclusion test algorithms for one-unambiguous regular expressions. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol.\u00a05160, pp. 96\u2013110. Springer, Heidelberg (2008)"},{"key":"4_CR21","unstructured":"XDuce source, http:\/\/sourceforge.net\/projects\/xduce"},{"key":"4_CR22","unstructured":"CDuce benchmarks, http:\/\/www.cduce.org\/bench.html#xduce"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14808-8_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:57:48Z","timestamp":1606186668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14808-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148071","9783642148088"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14808-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}