{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:50Z","timestamp":1725487670919},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660866"},{"type":"electronic","value":"9783540487548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48754-9_14","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:20:56Z","timestamp":1184588456000},"page":"128-139","source":"Crossref","is-referenced-by-count":13,"title":["The Non-associative Lambek Calculus with Product in Polynomial Time"],"prefix":"10.1007","author":[{"given":"Philippe","family":"de Groote","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1002\/malq.19950410405","volume":"41","author":"E. Aarts","year":"1995","unstructured":"E. Aarts and K. Trautwein. Non-associative lambek categorial grammar in polynomial time. Mathematical Logic Quaterly, 41:476\u2013484, 1995.","journal-title":"Mathematical Logic Quaterly"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"M. Kanovich. Horn programming in linear logic is np-complete. In 7-th annual IEEE Symposium on Logic in Computer Science, pages 200\u2013210. IEEE Computer Society Press, 1992.","DOI":"10.1109\/LICS.1992.185533"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"J. Lambek. The mathematics of sentence structure. Amer. Math. Monthly, 65:154\u2013170, 1958.","journal-title":"Amer. Math. Monthly"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"J. Lambek. On the calculus of syntactic types. In Studies of Language and its Mathematical Aspects, pages 166\u2013178, Providence, 1961. Proc. of the 12th Symp. Appl. Math..","DOI":"10.1090\/psapm\/012\/9972"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"M. Moortgat. Categorial type logic. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, chapter 2. Elsevier, 1997.","DOI":"10.1016\/B978-044481714-3\/50005-9"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48754-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T19:25:35Z","timestamp":1550431535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48754-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660866","9783540487548"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-48754-9_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}