{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:06Z","timestamp":1725455826469},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634591"},{"type":"electronic","value":"9783540695554"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027011","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:34:01Z","timestamp":1132396441000},"page":"194-208","source":"Crossref","is-referenced-by-count":1,"title":["Proof net semantics of proof search computation"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Caires","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Monteiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"issue":"3","key":"13_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. J. of Logic and Computation, 2(3):297\u2013347, 1992.","journal-title":"J. of Logic and Computation"},{"issue":"3","key":"13_CR2","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1017\/S0960129500000797","volume":"5","author":"A. Asperti","year":"1995","unstructured":"Andrea Asperti. Causal dependencies in multiplicative linear logic with MIX. Mathematical Structures in Computer Science, 5(3):351\u2013380, September 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"G. Bellin.Subnets of proof-nets in multiplicative linear logic with MIX.In Mathematical Structures in Computer Science, to appear, 1996. Available at ftp:\/\/ftp.logique.jussieu.fr\/pub\/distrib\/bellin\/mix.ps.gz.","DOI":"10.1017\/S0960129597002326"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"G. Bellin and J.. van de Wiele. Empires and kingdoms in MLL. In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in Linear Logic, pages 249\u2013270. Cambridge University Press, 1995. London Mathematical Society Lecture Note Series 222, Proceedings of the 1993 Workshop on Linear Logic, Cornell Univesity, Ithaca.","DOI":"10.1017\/CBO9780511629150.013"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0304-3975(94)00104-9","volume":"135","author":"G. Bellin","year":"1994","unstructured":"Gianluigi Bellin and Philip Scott. On the \u03c0-calculus and linear logic. Theoretical Computer Science, 135:11\u201365, 1994. Also published as LFCS report ECS-LFCS-92232, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK.","journal-title":"Theoretical Computer Science"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"L. Caires. A language for the logical specification of processes and relations. In Michael Hanus, editor, Proceedings of the Algebraic and Logic Programming International Conference, 1996.","DOI":"10.1007\/3-540-61735-3_10"},{"key":"13_CR7","unstructured":"L. Caires.A language for the logical specification of processes and relations. Technical Report 6.96, Universidade Nova de Lisboa, Faculdade de Ci\u00eancias e Tecnologia, Departamento de Inform\u00e1tica, 1996. Available at http:\/\/wwwctp.di.fct.unl.pt\/~lcaires\/writings\/lpi6.96.ps.gz."},{"key":"13_CR8","unstructured":"L. Caires and L. Monteiro. Proof net semantics of L\u03c0 Technical report, Universidade Nova de Lisboa, Faculdade de Ci\u00eancias e Tecnologia,Departamento de Inform\u00e1tica, 1997. Available at http:\/\/www-ctp.di.fet.unl.pt\/~caires\/writings\/."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"G. L. Cattani and V. Sassone. Higher dimensional transition systems. In Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science, pages 55\u201362. IEEE Computer Society Press, 1996.","DOI":"10.1109\/LICS.1996.561303"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Vincent Danos and Laurent Regnier. The structure of multiplicatives. Archive for Mathematical Logic, 26, 1989.","DOI":"10.1007\/BF01622878"},{"key":"13_CR11","volume-title":"Logic and Algebra","author":"J. Girard","year":"1996","unstructured":"Jean-Yves Girard. Proof-nets: The parallel syntax for proof-theory. In P. Agliano and A. Ursini, editors, Logic and Algebra. Marcel Dekker, New York, 1996."},{"key":"13_CR12","unstructured":"Alessio Guglielmi. Abstract Logic Programming in Linear Logic\u2014Independence and Causality in a First Order Calculus. PhD thesis, Universit\u00e0 di Pisa, 1996."},{"issue":"2","key":"13_CR13","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01211602","volume":"7","author":"N. Kobayashi","year":"1995","unstructured":"N. Kobayashi and A. Yonezawa. Asynchronous communication model based on linear logic. Formal Aspects of Computing, 7(2):113\u2013149, 1995.","journal-title":"Formal Aspects of Computing"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"D. Miller. The \u03c0-calculus as a theory in linear logic: preliminary results. In E. Lamma and P. Mello, editors, Proc. of the Workshop on Extensions of Logic Programming, pages 242\u2013264, 1992.","DOI":"10.1007\/3-540-56454-3_13"},{"issue":"1","key":"13_CR15","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0304-3975(96)00045-X","volume":"165","author":"D. Miller","year":"1996","unstructured":"D. Miller. Forum: A multiple-conclusion specification logic. Theoretical Computer Science, 165(1):201\u2013232, 30 September 1996.","journal-title":"Theoretical Computer Science"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"D. Miller, G. Nadathur, F. Pfenning, and A. Scedrov. Uniform proof as a foundation for logic programming. Annals of Pure and Applied Logic, (51):125\u2013157, 1991.","DOI":"10.1016\/0168-0072(91)90068-W"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:54:41Z","timestamp":1586570081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634591","9783540695554"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0027011","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}