{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:26:25Z","timestamp":1725708385891},"reference-count":18,"publisher":"Chapman and Hall\/CRC","isbn-type":[{"type":"print","value":"9781439846186"},{"type":"electronic","value":"9781439846193"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10,23]]},"DOI":"10.1201\/b13055-5","type":"book-chapter","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T22:37:28Z","timestamp":1354228648000},"page":"69-85","source":"Crossref","is-referenced-by-count":0,"title":["Tree Automata"],"prefix":"10.1201","author":[{"given":"Olivier","family":"Gauwin","sequence":"first","affiliation":[]}],"member":"301","published-online":{"date-parts":[[2012,11,29]]},"reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(71)90706-6"},{"key":"p_2","doi-asserted-by":"crossref","unstructured":"R. Alur and P. Madhusudan. Visibly pushdown languages. In36th ACM Symposium on Theory of Computing, pp.202-211. ACMPress, New York, NY, 2004.","DOI":"10.1145\/1007352.1007390"},{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1145\/1516512.1516518"},{"issue":"2","key":"p_4","volume":"8","author":"Benedikt M.","year":"2007","journal-title":"ACM Transactions on Computational Logics"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45711-9_1"},{"volume-title":"Tree-walking automata. Tutorial at LATA'08","year":"2008","author":"Boja\u0144czyk M.","key":"p_6"},{"volume-title":"Extensible Markup Language (XML) 1.0","year":"2008","author":"Bray T.","key":"p_7"},{"volume-title":"April 07","year":"2001","author":"Br\u00fcggemann-Klein A.","key":"p_8"},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25979-4_8"},{"volume-title":"October","year":"2007","author":"Comon H.","key":"p_10"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(70)80041-1"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2008.08.002"},{"issue":"2","key":"p_14","first-page":"1","volume":"3","author":"Libkin L.","year":"2006","journal-title":"Logical Methods in Computer Science"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-49382-2_12"},{"key":"p_16","first-page":"1","volume":"141","author":"Rabin M. O.","year":"1969","journal-title":"Transactions of the American Mathematical Society"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.003"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1007\/11874683_3"},{"key":"p_19","doi-asserted-by":"publisher","DOI":"10.1007\/BF01691346"}],"container-title":["Discrete Mathematics and Its Applications","Handbook of Finite State Based Models and Applications"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,7,6]],"date-time":"2019-07-06T07:40:43Z","timestamp":1562398843000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/abs\/10.1201\/b13055-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,23]]},"ISBN":["9781439846186","9781439846193"],"references-count":18,"alternative-id":["10.1201\/b13055-5","10.1201\/CHDISMTHAPP","10.1201\/b13055"],"URL":"https:\/\/doi.org\/10.1201\/b13055-5","relation":{},"ISSN":["2154-459X"],"issn-type":[{"type":"print","value":"2154-459X"}],"subject":[],"published":{"date-parts":[[2012,10,23]]}}}