{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T00:10:19Z","timestamp":1742602219696,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630456"},{"type":"electronic","value":"9783540690658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63045-7_32","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:00:24Z","timestamp":1330297224000},"page":"312-322","source":"Crossref","is-referenced-by-count":1,"title":["A decidable fragment of second order linear logic"],"prefix":"10.1007","author":[{"given":"G.","family":"Perrier","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"issue":"3","key":"32_CR1","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J. M. Andreoli","year":"1992","unstructured":"J. M. Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):297\u2013347, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"S. Bayer and M. Johnson. Features and agreement. In 33rd Meeting of the Association for Computational Linguistics, San Francisco, pages 70\u201376, 1995.","DOI":"10.3115\/981658.981668"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"M. Emms. Parsing with Polymorphism. In 6th Conference of the European Asociation for Computational Linguistics, Utrecht, pages 120\u2013129, 1993.","DOI":"10.3115\/976744.976760"},{"key":"32_CR4","unstructured":"M. Emms. An undecidibility result for polymorphic lambek calculus. Manuscript, 1995."},{"key":"32_CR5","first-page":"101","volume-title":"volume 813 of Lecture Notes in Computer Science","author":"D. Galmiche","year":"1994","unstructured":"D. Galmiche and G. Perrier. Foundations of proof search strategies design in linear logic. In A. Nerode and Yu. V. Matiyasevich, editors, Proceedings of Logical Foundations of Computer Science, St Petersburg, Russia, July 1994, volume 813 of Lecture Notes in Computer Science, pages 101\u2013113. Springer Verlag, 1994."},{"issue":"1","key":"32_CR6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0304-3975(94)00105-7","volume":"135","author":"D. Galmiche","year":"1994","unstructured":"D. Galmiche and G. Perrier. On proof normalisation in linear logic. Theoretical Computer Science, 135(1):67\u2013110, December 1994.","journal-title":"Theoretical Computer Science"},{"key":"32_CR7","unstructured":"Y. Lafont. The undecidability of second order linear logic without exponentials. Journal of Symbolic Logic, to appear. Also available as preprint 95-06, Laboratoire de Math\u00e9matiques discr\u00e8tes, University of Marseille."},{"key":"32_CR8","unstructured":"Y. Lafont and A. Scedrov. The undecidability of second order multiplicative linear logic. Preprint 95-17, Laboratoire de Math\u00e9matiques discr\u00e8tes, University of Marseille, 1995."},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"F. Lamarche. From proof nets to games. Electronic Notes in Theoretical Computer Science, 3, 1996. Special Issue of Linear Logic'96, Tokyo Meeting, march 1996.","DOI":"10.1016\/S1571-0661(05)80409-8"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Patrick Lincoln, Andre Scedrov, and Natarajan Shankar. Decision problems for second order linear logic. In D. Kozen, editor, Tenth Annual IEEE Symposium on Logic in Computer Science, pages 476\u2013485, San Diego, California, June 1995.","DOI":"10.1109\/LICS.1995.523281"},{"key":"32_CR11","unstructured":"M. Moortgart. Categorial Type Logics. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, chapter 2. Elsevier, 1996."},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"G. Perrier. A decidable fragment of Second Order Linear Logic. Research Report 97-R-007, CRIN-CNRS, Nancy, January 1997. Available at http:\/\/www.loria.fr\/\u223cperrier\/papers.html.","DOI":"10.1007\/3-540-63045-7_32"},{"issue":"1","key":"32_CR13","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D. N. Yetter","year":"1990","unstructured":"D. N. Yetter. Quantales and (noncommutative) linear logic. Journal of Symbolic Logic, 55(1):41\u201364, March 1990.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63045-7_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:35:27Z","timestamp":1742600127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}