{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:24Z","timestamp":1725663624228},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540565031"},{"type":"electronic","value":"9783540475743"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56503-5_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:14:00Z","timestamp":1330254840000},"page":"206-215","source":"Crossref","is-referenced-by-count":0,"title":["Cancellation in context-free languages: Enrichment by reduction"],"prefix":"10.1007","author":[{"given":"M.","family":"Jantzen","sequence":"first","affiliation":[]},{"given":"H.","family":"Petersen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"23_CR1","first-page":"1188","volume":"269","author":"M. Benois","year":"1969","unstructured":"M. Benois: Parties rationelles du groupe libre. C. R. Acad. Sc. Paris, Ser. A t. 269 (1969) 1188\u20131190.","journal-title":"C. R. Acad. Sc. Paris, Ser. A"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0304-3975(82)90036-6","volume":"19","author":"R. V. Book","year":"1982","unstructured":"R.V. Book, M. Jantzen, C. Wrathall: Monadic Thue systems. Theoret. Comput. Sci. 19 (1982) 231\u2013251.","journal-title":"Theoret. Comput. Sci."},{"key":"23_CR3","unstructured":"F.J. Brandenburg: Cancellations in linear context-free languages. Techn. report MIP-8904, Univ. Passau (1989)."},{"key":"23_CR4","unstructured":"F.J. Brandenburg, J. Dassow: Reductions of picture words. Techn. report MIP-8905, Univ. Passau (1989)."},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1112\/plms\/s3-58.1.74","volume":"58","author":"Ch. Frougny","year":"1989","unstructured":"Ch. Frougny, J. Sakarovitch, P. Schupp: Finiteness conditions on subgroups and formal language theory. Proc. London Math. Soc. 58 (1989) 74\u201388.","journal-title":"Proc. London Math. Soc."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"V. Geffert: Grammars with context dependency restricted to synchronization. LNCS vol. 233, Springer-Verlag (1986) 370\u2013378.","DOI":"10.1007\/BFb0016261"},{"key":"23_CR7","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0019-9958(70)80039-0","volume":"16","author":"S. A. Greibach","year":"1970","unstructured":"S.A. Greibach: Full AFLs and nested iterated substitution. Inf. Contr. 16 (1970) 7\u201335.","journal-title":"Inf. Contr."},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/S0019-9958(68)90178-2","volume":"12","author":"T. V. Griffiths","year":"1968","unstructured":"T.V. Griffiths: Some remarks on derivations in general rewriting systems. Inform. Control 12 (1968) 27\u201345.","journal-title":"Inform. Control"},{"key":"23_CR9","unstructured":"M. Hack: Petri net languages. C.S.G. Memo 124, Project MAC, MIT (1975)."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"M. Jantzen: Confluent string rewriting. EATCS Monographs 14, Springer-Verlag (1988).","DOI":"10.1007\/978-3-642-61549-8"},{"key":"23_CR11","unstructured":"M. Jantzen, H. Petersen: Petri net languages and one-sided Dyck1-reductions of context-free sets. in K. Voss, H. Genrich, G. Rozenberg (eds.): Concurrency and nets. Springer-Verlag (1987) 245\u2013252."},{"key":"23_CR12","first-page":"3","volume":"9","author":"M. Jantzen","year":"1990","unstructured":"M. Jantzen, M. Kudlek, K.-J. Lange, H. Petersen: Dyck\n1-reductions of context-free languages. Comp. and Artificial Intelligence, 9 (1990) 3\u201318.","journal-title":"Comp. and Artificial Intelligence"},{"key":"23_CR13","unstructured":"M. Jantzen, H. Petersen: Twisting Petri net languages and how to obtain them by reducing linear context-free sets. In: Proc. 12th Intern. Conf. on Petri nets, Gjern (1991) 228\u2013236."},{"key":"23_CR14","unstructured":"T. Kimura: Formal description of communication behaviour. Proc. Johns Hopkins Conf. on Information Sciences and Systems (1979)."},{"key":"23_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/322358.322365","volume":"30","author":"H. A. Maurer","year":"1983","unstructured":"H.A. Maurer, A. Salomaa, D. Wood: A Supernormal-Form Theorem for Context-Free Grammars. JACM 30 (1983) 95\u2013102.","journal-title":"JACM"},{"key":"23_CR16","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1137\/0202014","volume":"2","author":"W. J. Savitch","year":"1973","unstructured":"W.J. Savitch: How to make arbitrary grammars look like context-free grammars. SIAM J. Comput. 2 (1973) 174\u2013182.","journal-title":"SIAM J. Comput."},{"key":"23_CR17","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/S0019-9958(75)90066-2","volume":"27","author":"W. J. Savitch","year":"1975","unstructured":"W.J. Savitch: Some characterizations of Lindenmayer systems in terms of Chomsky-type grammars and stack machines. Inf. Contr. 27 (1975) 37\u201360.","journal-title":"Inf. Contr."},{"key":"23_CR18","unstructured":"W.J. Savitch: Parenthesis grammars and Lindenmayer sytems. In: G. Rozenberg, A. Salomaa (eds.): The Book of L, Springer-Verlag (1986) 403\u2013411."},{"key":"23_CR19","unstructured":"D. Stanat: Formal languages and power series. 3rd ACM Sympos. Theory of Computing (1971) 1\u201311."}],"container-title":["Lecture Notes in Computer Science","STACS 93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56503-5_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:53:08Z","timestamp":1619571188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56503-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540565031","9783540475743"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-56503-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}