{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:15Z","timestamp":1725489495525},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414131"},{"type":"electronic","value":"9783540444503"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44450-5_42","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:26:08Z","timestamp":1187252768000},"page":"516-529","source":"Crossref","is-referenced-by-count":1,"title":["Prefix Languages of Church-Rosser Languages"],"prefix":"10.1007","author":[{"given":"Jens R.","family":"Woinowski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,11,24]]},"reference":[{"key":"42_CR1","doi-asserted-by":"crossref","unstructured":"A. W. Appel. Modern Compiler Implementation in Java. Cambridge Uni-versity Press, 1998.","DOI":"10.1017\/CBO9780511811449"},{"key":"42_CR2","doi-asserted-by":"crossref","unstructured":"R.V. Book and F. Otto. String-Rewriting Systems. Springer-Verlag, New York, 1993.","DOI":"10.1007\/978-1-4613-9771-7"},{"key":"42_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2681","volume":"141","author":"G. Buntrock","year":"1998","unstructured":"G. Buntrock and F. Otto. Growing context-sensitive languages and Church-Rosser languages. Information and Computation, 141: 1\u201336, 1998.","journal-title":"Information and Computation"},{"key":"42_CR4","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/0022-0000(86)90062-0","volume":"33","author":"E. Dahlhaus","year":"1986","unstructured":"E. Dahlhaus and M.K. Warmuth. Membership for growing context-sensitive grammars is polynomial. Journal of Computer and System Sciences, 33: 456\u2013472, 1986.","journal-title":"Journal of Computer and System Sciences"},{"key":"42_CR5","unstructured":"M. A. Harrison. Introduction to Formal Language Theory. Addison-Wesley, Reading, Mass., 1978."},{"key":"42_CR6","doi-asserted-by":"crossref","unstructured":"M. Jantzen. Confluent String Rewriting. Springer-Verlag, 1988.","DOI":"10.1007\/978-3-642-61549-8"},{"key":"42_CR7","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1016\/S0019-9958(65)90426-2","volume":"8","author":"D. E. Knuth","year":"1965","unstructured":"D. E. Knuth. On the translation of languages from left to right. Information and Control, 8: 607\u2013639, 1965.","journal-title":"Information and Control"},{"key":"42_CR8","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1145\/42282.42284","volume":"35","author":"R. McNaughton","year":"1988","unstructured":"R. McNaughton, P. Narendran, and F. Otto. Church-Rosser Thue systems and formal languages. Journal Association Computing Machinery, 35: 324\u2013344, 1988.","journal-title":"Journal Association Computing Machinery"},{"key":"42_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BFb0053554","volume-title":"Foundations of Software Sscience and Computation Structures","author":"G. Niemann","year":"1998","unstructured":"G. Niemann and F. Otto. The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages. In M. Nivat, editor, Foundations of Software Sscience and Computation Structures, Proceedings FoSSaCS\u201998, volume 1378 of LNCS, pages 243\u2013257, Berlin, 1998. Springer-Verlag."},{"key":"42_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-62950-5_61","volume-title":"Rewriting Techniques and Applications","author":"F. Otto","year":"1997","unstructured":"F. Otto, M. Katsura, and Y. Kobayashi. Cross-sections for finitely presented monoids with decidable word problems. In H. Comon, editor, Rewriting Techniques and Applications, volume 1232 of LNCS, pages 53\u201367, Berlin, 1997. Springer-Verlag."},{"key":"42_CR11","unstructured":"T. Rottsch\u00e4fer. Eine Entwicklungsumgebung f\u00fcr Church-Rosser Pr\u00e4fixparser. Diplomarbeit, TU-Darmstadt, February 2000."},{"key":"42_CR12","doi-asserted-by":"crossref","unstructured":"S. Sippu and E. Soisalon-Soininen. Parsing Theory. VolumeII: LR(k) and LL(k) Parsing. Springer-Verlag, Berlin, 1990.","DOI":"10.1007\/978-3-662-08424-3"},{"key":"42_CR13","doi-asserted-by":"crossref","unstructured":"J. R. Woinowski. A normal form for Church-Rosser language systems. Re-port, TU-Darmstadt, www.iti.tu-darmstadt.de\/?woinowsk\/ , June 2000.","DOI":"10.1007\/3-540-45127-7_24"},{"key":"42_CR14","unstructured":"J. R. Woinowski. Prefixes of Church-Rosser languages. Report TI-2\/00, TU-Darmstadt, www.iti.tu-darmstadt.de\/?woinowsk\/ , February 2000."}],"container-title":["Lecture Notes in Computer Science","FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44450-5_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T22:37:22Z","timestamp":1587854242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44450-5_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414131","9783540444503"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-44450-5_42","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}