{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:11:31Z","timestamp":1763467891342,"version":"3.35.0"},"publisher-location":"Boston, MA","reference-count":16,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387096797"},{"type":"electronic","value":"9780387096803"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-09680-3_26","type":"book-chapter","created":{"date-parts":[[2008,7,21]],"date-time":"2008-07-21T11:37:14Z","timestamp":1216640234000},"page":"383-396","source":"Crossref","is-referenced-by-count":25,"title":["Canonical Sequent Proofs via Multi-Focusing"],"prefix":"10.1007","author":[{"given":"Kaustuv","family":"Chaudhuri","sequence":"first","affiliation":[]},{"given":"Dale","family":"Miller","sequence":"additional","affiliation":[]},{"given":"Alexis","family":"Saurin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"J.-M. Andreoli and R. Maieli. Focusing and proof nets in linear and noncommutative logic. In International Conference on Logic for Programming and Automated Reasoning (LPAR), volume 1581 of LNAI. Springer, 1999.","DOI":"10.1007\/3-540-48242-3_20"},{"issue":"3","key":"26_CR2","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"Andreoli. Jean-Marc","year":"1992","unstructured":"Jean-Marc Andreoli. Logic programming with focusing proofs in linear logic. J. of Logic and Computation, 2(3):297\u2013347, 1992.","journal-title":"J. of Logic and Computation"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Jean-Marc Andreoli. Focussing proof-net construction as a middleware paradigm. In Andrei Voronkov, editor, 18th Conference on Automated Deduction (CADE), number 2392 in LNAI, pages 501\u2013516. Springer, 2002.","DOI":"10.1007\/3-540-45620-1_39"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Kaustuv Chaudhuri, Frank Pfenning, and Greg Price. A logical characterization of forward and backward chaining in the inverse method. J. of Automated Reasoning, 40(2-3):133\u2013177, March 2008.","DOI":"10.1007\/s10817-007-9091-0"},{"key":"26_CR5","unstructured":"Pierre-Louis Curien. Introduction to linear logic and ludics, Part I. Advances in Mathitatics (China), 34(5):513\u2013544, January 2005."},{"key":"26_CR6","first-page":"167","volume":"3634","author":"Curien Pierre-Louis","year":"2005","unstructured":"Pierre-Louis Curien and Claudia Faggian. L-nets, strategies and proof-nets. In C.-H. Luke Ong, editor, CSL 2005: Computer Science Logic, volume 3634 of LNCS, pages 167\u2013183. Springer, 2005.","journal-title":"CSL 2005: Computer Science Logic"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Olivier Delande and Dale Miller. A neutral approach to proof and refutation in MALL. In F. Pfenning, editor, 23th Symp. on Logic in Computer Science. IEEE Computer Society Press, 2008.","DOI":"10.1109\/LICS.2008.35"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Claudia Faggian and Fran\u00e7ois Maurel. Ludics nets, a game model of concurrent interaction. In 20th Symp. on Logic in Computer Science, pages 376\u2013385. IEEE Computer Society, 2005.","DOI":"10.1109\/LICS.2005.25"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"Girard. Jean-Yves","year":"1987","unstructured":"Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"26_CR10","first-page":"97","volume-title":"Logic and Algebra, volume 180 of Lecture Notes In Pure and Applied Mathitatics","author":"Girard. Jean-Yves","year":"1996","unstructured":"Jean-Yves Girard. Proof-nets: the parallel syntax for proof-theory. In Aldo Ursini and Paolo Agliano, editors, Logic and Algebra, volume 180 of Lecture Notes In Pure and Applied Mathitatics, pages 97\u2013124, New York, 1996. Marcel Dekker."},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard. Locus solum. Mathitatical Structures in Computer Science, 11(3):301\u2013506, June 2001.","DOI":"10.1017\/S096012950100336X"},{"key":"26_CR12","doi-asserted-by":"publisher","first-page":"784","DOI":"10.1145\/1094622.1094629","volume":"6","author":"Hughes Dominic","year":"2005","unstructured":"Dominic Hughes and Rob Van Glabbeek. Proof nets for unit-free multiplicative-additive linear logic. ACM Trans. on Computational Logic, 6:784\u2013842, 2005.","journal-title":"ACM Trans. on Computational Logic"},{"key":"26_CR13","first-page":"1","volume":"10","author":"Kleene. Stephen Cole","year":"1952","unstructured":"Stephen Cole Kleene. Permutabilities of inferences in Gentzen\u2019s calculi LK and LJ. Mitoirs of the American Mathitatical Society, 10:1\u201326, 1952.","journal-title":"Mitoirs of the American Mathitatical Society"},{"issue":"4:3","key":"26_CR14","first-page":"1","volume":"2","author":"Lamarche Fran\u00e7ois","year":"2006","unstructured":"Fran\u00e7ois Lamarche and Lutz Stra\u03b2burger. From proof nets to the free *-autonomous category. Logical Methods in Computer Science, 2(4:3):1\u201344, 2006.","journal-title":"Logical Methods in Computer Science"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Chuck Liang and Dale Miller. Focusing and polarization in intuitionistic logic. In J. Duparc and T. A. Henzinger, editors, CSL 2007: Computer Science Logic, volume 4646 of LNCS, pages 451\u2013465. Springer, 2007.","DOI":"10.1007\/978-3-540-74915-8_34"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Dale Miller and Alexis Saurin. From proofs to focused proofs: a modular proof of focalization in linear logic. In J. Duparc and T. A. Henzinger, editors, CSL 2007: Computer Science Logic, volume 4646 of LNCS, pages 405\u2013419. Springer, 2007.","DOI":"10.1007\/978-3-540-74915-8_31"}],"container-title":["IFIP International Federation for Information Processing","Fifth Ifip International Conference On Theoretical Computer Science \u2013 Tcs 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-09680-3_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T03:13:34Z","timestamp":1738293214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-09680-3_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387096797","9780387096803"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-09680-3_26","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[]}}