{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:41Z","timestamp":1725559001109},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540257837"},{"type":"electronic","value":"9783540319535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11422532_1","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T02:15:43Z","timestamp":1278987343000},"page":"1-17","source":"Crossref","is-referenced-by-count":1,"title":["k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages"],"prefix":"10.1007","author":[{"given":"Denis","family":"B\u00e9chet","sequence":"first","affiliation":[]},{"given":"Annie","family":"Foret","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"47","DOI":"10.2307\/410452","volume":"29","author":"Y. Bar-Hillel","year":"1953","unstructured":"Bar-Hillel, Y.: A quasi arithmetical notation for syntactic description. Language\u00a029, 47\u201358 (1953)","journal-title":"Language"},{"key":"1_CR2","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\u2013169 (1958)","journal-title":"American mathematical monthly"},{"key":"1_CR3","volume-title":"Tree Automata and LGS","author":"A.K. Joshi","year":"1992","unstructured":"Joshi, A.K., Shabes, Y.: Tree-adjoining grammars and lexicalized grammars. In: Tree Automata and LGS, Elsevier Science, Amsterdam (1992)"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. Gold","year":"1967","unstructured":"Gold, E.: Language identification in the limit. Information and control\u00a010, 447\u2013474 (1967)","journal-title":"Information and control"},{"key":"1_CR5","series-title":"Studies in Logic, Language and Information","volume-title":"Learnable Classes of Categorial Grammars","author":"M. Kanazawa","year":"1998","unstructured":"Kanazawa, M.: Learnable Classes of Categorial Grammars. Studies in Logic, Language and Information. Center for the Study of Language and Information (CSLI) and The European association for Logic, Language and Information (FOLLI), Stanford, California (1998)"},{"key":"1_CR6","first-page":"1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"D. B\u00e9chet","year":"2003","unstructured":"B\u00e9chet, D., Foret, A.: k-valued non-associative lambek grammars are learnable from function-argument structures. In: de Queiroz, R., Pimentel, E., Figueiredo, L. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a084, pp. 1\u201313. Elsevier, Amsterdam (2003)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (ed.) Structure of language and its mathematical aspects, pp. 166\u2013178. American Mathematical Society (1961)","DOI":"10.1090\/psapm\/012\/9972"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1075\/llsee.25.11kan","volume-title":"Categorial Grammar","author":"M. Kandulski","year":"1988","unstructured":"Kandulski, M.: The non-associative lambek calculus. In: Buszkowski, W., Marciszewski, W., Van Bentem, J. (eds.) Categorial Grammar, pp. 141\u2013152. Benjamins, Amsterdam (1988)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1002\/malq.19950410405","volume":"41","author":"E. Aarts","year":"1995","unstructured":"Aarts, E., Trautwein, K.: Non-associative Lambek categorial grammar in polynomial time. Mathematical Logic Quaterly\u00a041, 476\u2013484 (1995)","journal-title":"Mathematical Logic Quaterly"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Buszkowski, W.: Mathematical linguistics and proof theory. In: [14], ch.\u00a012, pp. 683\u2013736","DOI":"10.1016\/B978-044481714-3\/50016-3"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Moortgat, M.: Categorial type logic. In: [14], ch.\u00a02, pp. 93\u2013177.","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"1_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/3-540-48754-9_14","volume-title":"8 t h Workshop on theorem proving with analytic tableaux and related methods","author":"P. Groote de","year":"1999","unstructured":"de Groote, P.: Non-associative Lambek calculus in polynomial time. In: TABLEAUX 1999. LNCS (LNAI), vol.\u00a01617, pp. 128\u2013139. Springer-Verlag, Heidelberg (1999)"},{"issue":"3","key":"1_CR13","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1023\/A:1020520915016","volume":"71","author":"P. Groote de","year":"2002","unstructured":"de Groote, P., Lamarche, F.: Classical non-associative lambek calculus. Studia Logica\u00a071(3), 355\u2013388 (2002)","journal-title":"Studia Logica"},{"key":"1_CR14","volume-title":"Handbook of Logic and Language","author":"J. Benthem van","year":"1997","unstructured":"van Benthem, J., ter Meulen, A.: Handbook of Logic and Language. North-Holland Elsevier, Amsterdam (1997)"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11422532_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:52:01Z","timestamp":1605642721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11422532_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540257837","9783540319535"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11422532_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}