{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:58:24Z","timestamp":1725494304880},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662228"},{"type":"electronic","value":"9783540486602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48660-7_1","type":"book-chapter","created":{"date-parts":[[2007,11,9]],"date-time":"2007-11-09T15:53:07Z","timestamp":1194623587000},"page":"1-15","source":"Crossref","is-referenced-by-count":3,"title":["A Dynamic Programming Approach to Categorial Deduction"],"prefix":"10.1007","author":[{"given":"Philippe","family":"de Groote","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,17]]},"reference":[{"issue":"4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.2307\/2275485","volume":"56","author":"M. Abrusci","year":"1991","unstructured":"M. Abrusci. Phase semantics and sequent calculus for pure non-commutative classical linear logic. Journal of Symbolic Logic, 56(4):1403\u20131451, 1991.","journal-title":"Journal of Symbolic Logic"},{"key":"1_CR2","unstructured":"C. Berge. Graphs. North-Holland, second revised edition edition, 1985."},{"key":"1_CR3","unstructured":"A Fleury. La r\u00e8gle d\u2019\u00e9change: logique lineaire multiplicative tress\u00e9e. Th\u00e8s de Doctorat, sp\u00e9cialit\u00e9 Math\u00e9matiques, Universit\u00e9 Paris 7, 1996."},{"key":"1_CR4","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":"1_CR5","unstructured":"J.-Y. Girard. Quantifiers in linear logic II. Technical Report 19, Equipe de Logique Math\u00e9matique, Universit\u00e9 de Paris VII, 1991."},{"key":"1_CR6","unstructured":"F. Lamarche and C. Retor\u00e9. Proof nets for the Lambek calculus. In M. Abrusci and C. Casadio, editors, Proofs and Linguistic Categories, Proceedings 1996 Roma Workshop. Cooperativa Libraria Universitaria Editrice Bologna, 1996."},{"key":"1_CR7","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":"1_CR8","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"},{"key":"1_CR9","volume-title":"Proofs and Linguistic Categories, Proceedings 1996 Roma Workshop","author":"G. Morrill","year":"1996","unstructured":"G. Morrill. Memoisation of categorial proof nets: parallelism in categorial processing. In V. M. Abrusci and C. Casadio, editors, Proofs and Linguistic Categories, Proceedings 1996 Roma Workshop. Cooperativa Libraria Universitaria Editrice Bologna, 1996."},{"key":"1_CR10","unstructured":"D. Roorda. Resource Logics: proof-theoretical investigations. PhD thesis, University of Amsterdam, 1991."},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D. N. Yetter","year":"1990","unstructured":"D. N. Yetter. Quantales and (non-commutative) linear logic. Journal of Symbolic Logic, 55:41\u201364, 1990.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 CADE-16"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48660-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T21:36:51Z","timestamp":1551044211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48660-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662228","9783540486602"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-48660-7_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}