{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:34:34Z","timestamp":1775054074008,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642399978","type":"print"},{"value":"9783642399985","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39998-5_12","type":"book-chapter","created":{"date-parts":[[2013,7,30]],"date-time":"2013-07-30T01:59:20Z","timestamp":1375149560000},"page":"191-208","source":"Crossref","is-referenced-by-count":3,"title":["The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars"],"prefix":"10.1007","author":[{"given":"Makoto","family":"Kanazawa","sequence":"first","affiliation":[]},{"given":"Sylvain","family":"Salvati","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.apal.2005.12.014","volume":"142","author":"M. Kanazawa","year":"2006","unstructured":"Kanazawa, M.: Computing interpolants in implicational logics. Annals of Pure and Applied Logic\u00a0142, 125\u2013201 (2006)","journal-title":"Annals of Pure and Applied Logic"},{"key":"12_CR2","unstructured":"Kanazawa, M., Yoshinaka, R.: Lexicalization of second-order ACGs. NII Technical Report NII-2005-012E, National Institute of Informatics, Tokyo (2005)"},{"key":"12_CR3","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 Mathematical Monthly\u00a065, 154\u2013170 (1958)","journal-title":"American Mathematical Monthly"},{"key":"12_CR4","unstructured":"Pentus, M.: Lambek grammars are context free. In: Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, pp. 429\u2013433 (1993)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"648","DOI":"10.2307\/2275553","volume":"62","author":"M. Pentus","year":"1997","unstructured":"Pentus, M.: Product-free Lambek calculus and context-free grammars. Journal of Symbolic Logic\u00a062, 648\u2013660 (1997)","journal-title":"Journal of Symbolic Logic"},{"key":"12_CR6","series-title":"American Mathematical Society Translations\u2013Series 2","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1090\/trans2\/192\/02","volume-title":"Provability, Complexity, Grammars","author":"M. Pentus","year":"1999","unstructured":"Pentus, M.: Lambek calculus and formal grammars. In: Provability, Complexity, Grammars. American Mathematical Society Translations\u2013Series 2, vol.\u00a0(192), pp. 57\u201386. American Mathematical Society, Providence (1999)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Rosenkrantz, D.J., Lewis II, P.M.: Deterministic left corner parsing. In: IEEE Conference Record of the 11th Annual Symposium on Switching and Automata, pp. 139\u2013152. IEEE (1970)","DOI":"10.1109\/SWAT.1970.5"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39998-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T01:26:49Z","timestamp":1596245209000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39998-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399978","9783642399985"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39998-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}