{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:20:23Z","timestamp":1743124823524,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662531310"},{"type":"electronic","value":"9783662531327"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-53132-7_32","type":"book-chapter","created":{"date-parts":[[2016,7,19]],"date-time":"2016-07-19T21:25:06Z","timestamp":1468963506000},"page":"393-405","source":"Crossref","is-referenced-by-count":1,"title":["Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata"],"prefix":"10.1007","author":[{"given":"Yuya","family":"Uezato","sequence":"first","affiliation":[]},{"given":"Yasuhiko","family":"Minamide","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,21]]},"reference":[{"issue":"4","key":"32_CR1","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1145\/321479.321488","volume":"15","author":"AV Aho","year":"1968","unstructured":"Aho, A.V.: Indexed grammars\u2013an extension of context-free grammars. J. ACM 15(4), 647\u2013671 (1968)","journal-title":"J. ACM"},{"issue":"9","key":"32_CR2","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1007\/s00236-002-0085-4","volume":"38","author":"J Berstel","year":"2002","unstructured":"Berstel, J., Boasson, L.: Formal properties of XML grammars and languages. Acta Informatica 38(9), 649\u2013671 (2002)","journal-title":"Acta Informatica"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-3-642-02737-6_8","volume-title":"Developments in Language Theory","author":"A Bertoni","year":"2009","unstructured":"Bertoni, A., Choffrut, C., Radicioni, R.: The inclusion problem of context-free languages: some tractable cases. In: Diekert, V., Nowotka, D. (eds.) DLT 2009. LNCS, vol. 5583, pp. 103\u2013112. Springer, Heidelberg (2009)"},{"key":"32_CR4","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(76)90074-8","volume":"1","author":"EP Friedman","year":"1976","unstructured":"Friedman, E.P.: The inclusion problem for simple languages. TCS 1, 297\u2013316 (1976)","journal-title":"TCS"},{"issue":"1","key":"32_CR5","first-page":"79","volume":"19","author":"EP Friedman","year":"1979","unstructured":"Friedman, E.P., Greibach, S.A.: Superdeterministic DPDAs: the method of accepting does affect decision problems. JCSS 19(1), 79\u2013117 (1979)","journal-title":"JCSS"},{"issue":"4","key":"32_CR6","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1145\/322217.322224","volume":"27","author":"SA Greibach","year":"1980","unstructured":"Greibach, S.A., Friedman, E.P.: Superdeterministic PDAs: a subcase with a decidable inclusion problem. J. ACM 27(4), 675\u2013700 (1980)","journal-title":"J. ACM"},{"key":"32_CR7","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J Hopcroft","year":"1979","unstructured":"Hopcroft, J., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Kobayashi, N.: Types and higher-order recursion schemes for verification of higher-order programs. In: POPL, pp. 416\u2013428. ACM (2009)","DOI":"10.1145\/1594834.1480933"},{"issue":"4","key":"32_CR9","doi-asserted-by":"crossref","first-page":"1026","DOI":"10.1137\/140978818","volume":"44","author":"Lonati, V., Mandrioli, D., Panella, F., Pradella, M.","year":"2015","unstructured":"Lonati, V., Mandrioli, D., Panella, F., Pradella, M.: Operator precedence languages: their automata-theoretic and logic characterization. SIAM J. Comput. 44(4), 1026\u20131088 (2015)","journal-title":"SIAM J. Comput."},{"key":"32_CR10","first-page":"38","volume":"12","author":"AN Maslov","year":"1976","unstructured":"Maslov, A.N.: Multilevel stack automata. Prob. Inf. Trans. 12, 38\u201343 (1976)","journal-title":"Prob. Inf. Trans."},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-540-74591-4_14","volume-title":"Theorem Proving in Higher Order Logics","author":"Y Minamide","year":"2007","unstructured":"Minamide, Y.: Verified decision procedures on context-free grammars. In: Schneider, K., Brandt, J. (eds.) TPHOLs 2007. LNCS, vol. 4732, pp. 173\u2013188. Springer, Heidelberg (2007)"},{"key":"32_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6264-0","volume-title":"Automata-Theoretic Aspects of Formal Power Series","author":"A Salomaa","year":"1978","unstructured":"Salomaa, A., Soittola, M.: Automata-Theoretic Aspects of Formal Power Series. Springer, New York (1978)"},{"issue":"1","key":"32_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0019-9958(75)90058-3","volume":"27","author":"M Takahashi","year":"1975","unstructured":"Takahashi, M.: Generalizations of regular sets and their application to a study of context-free languages. Inf. Control 27(1), 1\u201336 (1975)","journal-title":"Inf. Control"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/978-3-642-33475-7_25","volume-title":"Theoretical Computer Science","author":"T Tsukada","year":"2012","unstructured":"Tsukada, T., Kobayashi, N.: An intersection type system for deterministic pushdown automata. In: Baeten, J.C.M., Ball, T., de Boer, F.S. (eds.) TCS 2012. LNCS, vol. 7604, pp. 357\u2013371. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53132-7_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T14:45:57Z","timestamp":1498315557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53132-7_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662531310","9783662531327"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53132-7_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}