{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:54Z","timestamp":1725663294008},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540127277"},{"type":"electronic","value":"9783540387145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12727-5_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:54:29Z","timestamp":1330192469000},"page":"236-254","source":"Crossref","is-referenced-by-count":0,"title":["Decidable properties of monadic recursive schemas with a depth parameter"],"prefix":"10.1007","author":[{"given":"J.","family":"Gonczarowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1145\/321765.321780","volume":"20","author":"E. Ashcroft","year":"1973","unstructured":"E. Ashcroft, Z. Manna and A. Pnueli, Decidable Properties of Monadic Functional Schemas, Journal of the ACM 20 (1973), 489\u2013499.","journal-title":"Journal of the ACM"},{"key":"14_CR2","first-page":"20","volume":"36","author":"K. Culik II","year":"1978","unstructured":"K. Culik, II and I. Fries, The decidability of the Equivalence Problem for DOL-Systems, Information and Control 36 (1978), 20\u201339.","journal-title":"Information and Control"},{"key":"14_CR3","unstructured":"P. J. Downey, OL Systems, Developmental Systems and Recursion Schemes, in \"IEEE Proc. of the Conference on Biologically Motivated Automata Theory\", McLean Va. (1974), 54\u201358."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"J. Engelfriet, Simple Program Schemes and Formal Languages, Springer Lecture Notes in Computer Science, 20, 1974.","DOI":"10.1007\/3-540-06953-4"},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1016\/S0022-0000(69)80012-7","volume":"3","author":"S. A. Greibach","year":"1969","unstructured":"S. A. Greibach, Checking Automata and One-Way Stack Languages, Journal of Computer and System Science 3 (1969), 196\u2013217.","journal-title":"Journal of Computer and System Science"},{"key":"14_CR6","unstructured":"J. Gonczarowski, H.C.M. Kleijn and G. Rozenberg, Grammatical Construction in Selective Substitution Grammars, in preparation."},{"key":"14_CR7","volume-title":"the SNOBOL4 Programming Language","author":"R. E. Griswold","year":"1971","unstructured":"R. E. Griswold, J. F. Poage and I. P. Plonsky, the SNOBOL4 Programming Language, Prentice-Hall, Englewood Cliffs, N.J., 1971."},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(75)90106-0","volume":"27","author":"S. Ginsburg","year":"1974","unstructured":"S. Ginsburg and G. Rozenberg, TOL Schemes and Control Sets, Information and Control 27 (1974), 109\u2013125.","journal-title":"Information and Control"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/3-540-06867-8_14","volume":"15","author":"J. Leeuwen van","year":"1974","unstructured":"J. van Leeuwen, Notes on Preset Pushdown Automata, Lecture Notes in Computer Science 15 (1974), 177\u2013188.","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/S0022-0000(70)80022-8","volume":"4","author":"D. C. Luckham","year":"1970","unstructured":"D. C. Luckham, D. M. R. Park and M. S. Paterson, On Formalized Computer Programs, Journal of Computer and System Science 4 (1970), 220\u2013249.","journal-title":"Journal of Computer and System Science"},{"key":"14_CR11","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Z. Manna, Mathematical Theory of Computation, McGraw-Hill, New York, 1974."},{"key":"14_CR12","volume-title":"The Mathematical Theory of L Systems","author":"G. Rozenberg","year":"1979","unstructured":"G. Rozenberg and A. Salomaa, The Mathematical Theory of L Systems, Academic Press, New York, 1979."},{"key":"14_CR13","volume-title":"Formal Languages","author":"A. Salomaa","year":"1973","unstructured":"A. Salomaa, Formal Languages, Academic Press, New York, 1973."}],"container-title":["Lecture Notes in Computer Science","CAAP'83"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12727-5_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:06:10Z","timestamp":1605643570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12727-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540127277","9783540387145"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-12727-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}