{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:40:57Z","timestamp":1725579657348},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320231"},{"type":"electronic","value":"9783642320248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32024-8_17","type":"book-chapter","created":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T07:58:00Z","timestamp":1342252680000},"page":"262-266","source":"Crossref","is-referenced-by-count":4,"title":["Lambek Grammars with the Unit"],"prefix":"10.1007","author":[{"given":"Stepan","family":"Kuznetsov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","first-page":"1","volume":"9F","author":"Y. Bar-Hillel","year":"1960","unstructured":"Bar-Hillel, Y., Gaifman, C., Shamir, E.: On categorial and phrase-structure grammars. Bull. Res. Council Israel Sect. F\u00a09F, 1\u201316 (1960)","journal-title":"Bull. Res. Council Israel Sect. F"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1002\/malq.19850312402","volume":"31","author":"W. Buszkowski","year":"1985","unstructured":"Buszkowski, W.: The equivalence of unidirectional Lambek categorial grammars and context-free grammars. Zeitschr. f\u00fcr math. Logik und Grundl. der Math.\u00a031, 369\u2013384 (1985)","journal-title":"Zeitschr. f\u00fcr math. Logik und Grundl. der Math."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Kuznetsov, S.: Lambek grammars with one division and one primitive type. Unpublished manuscript (2010)","DOI":"10.1093\/jigpal\/jzr031"},{"issue":"3","key":"17_CR4","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. American Math. Monthly\u00a065(3), 154\u2013170 (1958)","journal-title":"American Math. Monthly"},{"key":"17_CR5","series-title":"Lect. Notes Math.","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/BFb0079385","volume-title":"Category Theory, Homology Theory and Their Applications I","author":"J. Lambek","year":"1969","unstructured":"Lambek, J.: Deductive systems and categories II: Standard constructions and closed categories. In: Hilton, P. (ed.) Category Theory, Homology Theory and Their Applications I. Lect. Notes Math., vol.\u00a086, pp. 76\u2013122. Springer, Berlin (1969)"},{"issue":"1","key":"17_CR6","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0304-3975(99)00053-5","volume":"227","author":"F. M\u00e9tayer","year":"1999","unstructured":"M\u00e9tayer, F.: Polynomial equivalence among systems LLNC, LLNC a and LLNC0. Theor. Comput. Sci.\u00a0227(1), 221\u2013229 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1109\/LICS.1993.287565","volume-title":"Proc. of the 8th Annual IEEE Symposium on Logic in Computer Science","author":"M. Pentus","year":"1993","unstructured":"Pentus, M.: Lambek grammars are context free. In: Proc. of the 8th Annual IEEE Symposium on Logic in Computer Science, pp. 429\u2013433. IEEE Computer Society Press, Los Alamitos (1993)"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32024-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,21]],"date-time":"2022-01-21T05:29:23Z","timestamp":1642742963000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32024-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320231","9783642320248"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32024-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}