{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:57:13Z","timestamp":1742399833290},"publisher-location":"Boston, MA","reference-count":11,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081408"},{"type":"electronic","value":"9781402081415"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/1-4020-8141-3_50","type":"book-chapter","created":{"date-parts":[[2006,2,21]],"date-time":"2006-02-21T15:15:11Z","timestamp":1140534911000},"page":"661-674","source":"Crossref","is-referenced-by-count":16,"title":["Regular Tree Language Recognition with Static Information"],"prefix":"10.1007","author":[{"given":"Alain","family":"Frisch","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"50_CR1","doi-asserted-by":"crossref","unstructured":"V\u00e9ronique Benzaken, Giuseppe Castagna, and Alain Frisch. CDuce: an XML-centric general-purpose language. In ICFP, 2003.","DOI":"10.1145\/944705.944711"},{"key":"50_CR2","unstructured":"Tim Bray, Jean Paoli, and C. M. Sperberg-McQueen. Extensible markup language (XML) 1.0. In W3C Recommendation, 1998."},{"key":"50_CR3","unstructured":"Alain Frisch, Giuseppe Castagna, and V\u00e9ronique Benzaken. Semantic subtyping. In LICS, 2002."},{"key":"50_CR4","doi-asserted-by":"crossref","unstructured":"Vladimir Gapeyev and Benjamin Pierce. Regular object types. In FOOL, 2003.","DOI":"10.1007\/978-3-540-45070-2_8"},{"key":"50_CR5","doi-asserted-by":"crossref","unstructured":"Haruo Hosoya. Regular expression types for XML. Ph. D thesis. The University of Tokyo, 2000.","DOI":"10.1145\/351240.351242"},{"key":"50_CR6","doi-asserted-by":"crossref","unstructured":"Haruo Hosoya and Benjamin Pierce. Regular expression pattern matching for XML. Journal of Functional Programming, 2002.","DOI":"10.1145\/360204.360209"},{"key":"50_CR7","doi-asserted-by":"crossref","unstructured":"Michael Levin. Compiling regular patterns. In ICFP, 2003.","DOI":"10.1145\/944705.944712"},{"key":"50_CR8","doi-asserted-by":"crossref","unstructured":"Frank Neven. Automata theory for XML researchers. In SIGMOD Record, 31(3), 2002., 2002.","DOI":"10.1145\/601858.601869"},{"key":"50_CR9","doi-asserted-by":"crossref","unstructured":"Andreas Neumann and Helmut Seidl. Locating matches of tree patterns in forests. In Foundations of Software Technology and Theoretical Computer Science, pages 134\u2013145, 1998. Extended abstract available at \n                    http:\/\/www.informatik.uni-trier.de\/~seidl\/conferences.html\n                    \n                  .","DOI":"10.1007\/978-3-540-49382-2_12"},{"key":"50_CR10","doi-asserted-by":"crossref","unstructured":"Jerome Simeon and Philip Wadler. The essence of XML. In POPL, 2003.","DOI":"10.1145\/604131.604132"},{"key":"50_CR11","unstructured":"Henri S. Thompson, David Beech, Murray Maloney, and N. Mendelsohn. XML Schema part 1: Structures. In W3C Recommendation, 2001."}],"container-title":["IFIP International Federation for Information Processing","Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8141-3_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T17:43:26Z","timestamp":1558374206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8141-3_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9781402081408","9781402081415"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8141-3_50","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2004]]}}}