{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:50:22Z","timestamp":1742914222761,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319601335"},{"type":"electronic","value":"9783319601342"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60134-2_15","type":"book-chapter","created":{"date-parts":[[2017,5,27]],"date-time":"2017-05-27T12:53:09Z","timestamp":1495889589000},"page":"175-187","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Conjecture $$\\mathcal {L}_{\\mathsf {DFCM}}\\subsetneq \\mathsf {RCM}$$"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Massazza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,28]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Chomsky, N.: Sch\u00fctzenberger, M.P.: The algebraic theory of context-free languages. In: Computer Programming and Formal Systems, pp. 118\u2013161 (1963)","DOI":"10.1016\/S0049-237X(08)72023-8"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BFb0015743","volume-title":"Automata, Languages and Programming","author":"P Flajolet","year":"1985","unstructured":"Flajolet, P.: Ambiguity and transcendence. In: Brauer, W. (ed.) ICALP 1985. LNCS, vol. 194, pp. 179\u2013188. Springer, Heidelberg (1985). doi:10.1007\/BFb0015743"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/0304-3975(87)90011-9","volume":"49","author":"P Flajolet","year":"1987","unstructured":"Flajolet, P.: Analytic models and ambiguity of context-free languages. Theor. Comput. Sci. 49, 283\u2013309 (1987)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0195-6698(80)80051-5","volume":"1","author":"R Stanley","year":"1980","unstructured":"Stanley, R.: Differentiably finite power series. Eur. J. Combin. 1(2), 175\u2013188 (1980)","journal-title":"Eur. J. Combin."},{"issue":"3","key":"15_CR5","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0377-0427(90)90042-X","volume":"32","author":"D Zeilberger","year":"1990","unstructured":"Zeilberger, D.: A holonomic systems approach to special functions identities. J. Comput. Appl. Math. 32(3), 321\u2013368 (1990)","journal-title":"J. Comput. Appl. Math."},{"issue":"2","key":"15_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0129054192000127","volume":"3","author":"A Bertoni","year":"1992","unstructured":"Bertoni, A., Massazza, P., Sabadini, N.: Holonomic generating functions and context free languages. Int. J. Found. Comput. Sci. 3(2), 181\u2013191 (1992)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"2","key":"15_CR7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1051\/ita\/1993270201491","volume":"27","author":"P Massazza","year":"1993","unstructured":"Massazza, P.: Holonomic functions and their relation to linearly constrained languages. RAIRO-Theor. Inf. Appl. 27(2), 149\u2013161 (1993)","journal-title":"RAIRO-Theor. Inf. Appl."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Klaedtke, F., Rue\u00df, H.: Parikh automata and monadic second-order logics with linear cardinality constraints. Technical report, Dep. of Computer Science, Univ. of Freiburg (2002)","DOI":"10.1007\/3-540-45061-0_54"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/3-540-45061-0_54","volume-title":"Automata, Languages and Programming","author":"F Klaedtke","year":"2003","unstructured":"Klaedtke, F., Rue\u00df, H.: Monadic second-order logics with cardinalities. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 681\u2013696. Springer, Heidelberg (2003). doi:10.1007\/3-540-45061-0_54"},{"issue":"4","key":"15_CR10","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1051\/ita\/2012013","volume":"46","author":"M Cadilhac","year":"2012","unstructured":"Cadilhac, M., Finkel, A., McKenzie, P.: Affine parikh automata. RAIRO-Theor. Inf. Appl. 46(4), 511\u2013545 (2012)","journal-title":"RAIRO-Theor. Inf. Appl."},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.tcs.2016.07.022","volume":"658","author":"G Castiglione","year":"2017","unstructured":"Castiglione, G., Massazza, P.: On a class of languages with holonomic generating functions. Theor. Comput. Sci. 658, 74\u201384 (2017)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/322047.322058","volume":"25","author":"O Ibarra","year":"1978","unstructured":"Ibarra, O.: Reversal-bounded multicounter machines and their decision problems. J. ACM 25(1), 116\u2013133 (1978)","journal-title":"J. ACM"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-319-17142-5_33","volume-title":"Theory and Applications of Models of Computation","author":"J Eremondi","year":"2015","unstructured":"Eremondi, J., Ibarra, O.H., McQuillan, I.: Deletion operations on deterministic families of automata. In: Jain, R., Jain, S., Stephan, F. (eds.) TAMC 2015. LNCS, vol. 9076, pp. 388\u2013399. Springer, Cham (2015). doi:10.1007\/978-3-319-17142-5_33"},{"issue":"3","key":"15_CR14","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1016\/S0022-0000(75)80005-5","volume":"10","author":"L Valiant","year":"1975","unstructured":"Valiant, L., Paterson, M.: Deterministic one-counter automata. J. Comput. Syst. Sci. 10(3), 340\u2013350 (1975)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60134-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T15:31:53Z","timestamp":1710343913000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-60134-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319601335","9783319601342"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60134-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"28 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CIAA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Implementation and Application of Automata","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marne-la-Vall\u00e9e","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wia2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ciaa17.univ-mlv.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}