{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:32:54Z","timestamp":1725485574449},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000105"},{"type":"electronic","value":"9783540360780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36078-6_26","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:48:36Z","timestamp":1180666116000},"page":"388-402","source":"Crossref","is-referenced-by-count":8,"title":["A Local System for Linear Logic"],"prefix":"10.1007","author":[{"given":"Lutz","family":"Stra\u03b2burger","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"issue":"3","key":"26_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J.-M. Andreoli","year":"1992","unstructured":"Jean-Marc 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":"26_CR2","doi-asserted-by":"crossref","unstructured":"Kai Brunnler and Alwen Fernanto Tiu. A local system for classical logic. In R. Nieuwenhuis and A. Voronkov, editors, LPAR 2001, volume 2250 of Lecture Notes in Artificial Intelligence, pages 347\u2013361. Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45653-8_24"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Paola Bruscoli. A purely logical account of sequentiality in proof search. In Peter J. Stuckey, editor, Logic Programming, 18th International Conference, volume 2401 of Lecture Notes in Artificial Intelligence, pages 302\u2013316. Springer-Verlag, 2002.","DOI":"10.1007\/3-540-45619-8_21"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1934","unstructured":"Gerhard Gentzen. Untersuchungen \u00fcber das logische Schlie\u03b2en. I. Mathematische Zeitschrift, 39:176\u2013210, 1934.","journal-title":"Mathematische Zeitschrift"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"26_CR6","unstructured":"Alessio Guglielmi. A Calculus of Order and Interaction. Technical Report WV-99-04, Technische Universit\u00e4t Dresden, 1999."},{"key":"26_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-44802-0_5","volume-title":"Computer Science Logic, CSL 2001","author":"A. Guglielmi","year":"2001","unstructured":"Alessio Guglielmi and Lutz Stra\u03b2burger. Non-commutativity and MELL in the calculus of structures. In Laurent Fribourg, editor, Computer Science Logic, CSL 2001, volume 2142 of Lecture Notes in Computer Science, pages 54\u201368. Springer-Verlag, 2001."},{"key":"26_CR8","unstructured":"Alessio Guglielmi and Lutz Stra\u03b2burger. A non-commutative extension of MELL. Technical Report WV-02-03, Dresden University of Technology, 2002. Accepted at LPAR\u201902, this volume."},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0304-3975(96)00045-X","volume":"165","author":"D. Miller","year":"1996","unstructured":"Dale Miller. Forum: A multiple-conclusion specification logic. Theoretical Computer Science, 165:201\u2013232, 1996.","journal-title":"Theoretical Computer Science"},{"key":"26_CR10","unstructured":"Lutz Stra\u03b2burger. MELL in the Calculus of Structures. Technical Report WV-01-03, Technische Universit\u00e4t Dresden, 2001. Submitted."}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36078-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T01:23:04Z","timestamp":1550366584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36078-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000105","9783540360780"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-36078-6_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}