{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:22:12Z","timestamp":1738387332860,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705826"},{"type":"electronic","value":"9783540705833"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70583-3_5","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"51-62","source":"Crossref","is-referenced-by-count":5,"title":["Leftist Grammars Are Non-primitive Recursive"],"prefix":"10.1007","author":[{"given":"Tomasz","family":"Jurdzi\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Bandyopadhyay, S., Mahajan, M., Narayan Kumar, K.: A non-regular leftist language (manuscript, 2005)"},{"key":"5_CR2","unstructured":"Cheiner, O., Saraswat, V.: Security Analysis of Matrix. Technical report, AT&T Shannon Laboratory (1999)"},{"issue":"8","key":"5_CR3","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1145\/360303.360333","volume":"19","author":"M. Harrison","year":"1976","unstructured":"Harrison, M., Ruzzo, W., Ullman, J.: Protection in operating systems. Communications of the ACM\u00a019(8), 461\u2013470 (1976)","journal-title":"Communications of the ACM"},{"issue":"1-2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.tcs.2007.07.043","volume":"389","author":"T. Jurdzi\u0144ski","year":"2007","unstructured":"Jurdzi\u0144ski, T.: On Complexity of Grammars Related to the Safety Problem. Theoretical Computer Science\u00a0389(1-2), 56\u201372 (2007); An extended abstract appeared in ICALP 2006 Proceedings","journal-title":"Theoretical Computer Science"},{"key":"5_CR5","unstructured":"Jurdzi\u0144ski, T.: Leftist Grammars are Non-primitive Recursive, Technical Report of the Institute of Computer Science, University of Wroclaw (2008\/01)"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s00224-007-2017-8","volume":"41","author":"T. Jurdzi\u0144ski","year":"2007","unstructured":"Jurdzi\u0144ski, T., Lory\u015b, K.: Leftist Grammars and the Chomsky Hierarchy. Theory of Computing Systems\u00a041(2), 233\u2013256 (2007)","journal-title":"Theory of Computing Systems"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Motwani, R., Panigrahy, R., Saraswat, V.A., Venkatasubramanian, S.: In: STOC 2000, pp. 306\u2013315 (2000)","DOI":"10.1145\/335305.335341"},{"key":"5_CR8","unstructured":"Saraswat, V.: The Matrix Design. Technical report, AT&T Laboratory (April 1997)"},{"key":"5_CR9","unstructured":"Saraswat, V., Jagadeesan, R.: Static support for capability-based programming in Java (manuscript)"},{"issue":"5","key":"5_CR10","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/S0020-0190(01)00337-4","volume":"83","author":"P.. Schnoebelen","year":"2002","unstructured":"Schnoebelen, P.: Verifying Lossy Channel Systems has Nonprimitive Recursive Complexity. Information Processing Letters\u00a083(5), 251\u2013261 (2002)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70583-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T12:13:44Z","timestamp":1738325624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70583-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705826","9783540705833"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70583-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}