{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300203},"publisher-location":"Berlin, Heidelberg","reference-count":3,"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_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:00:32Z","timestamp":1330279232000},"page":"306-311","source":"Crossref","is-referenced-by-count":1,"title":["Equivalence of multiplicative fragments of cyclic linear logic and noncommutative linear logic"],"prefix":"10.1007","author":[{"given":"Mati","family":"Pentus","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.2307\/2275485","volume":"56","author":"V. M. Abrusci","year":"1991","unstructured":"Abrusci, V. M.: Phase semantics and sequent calculus for pure noncommutative classical linear propositional calculus. Journal of Symbolic Logic, 56 (1991) 1403\u20131451","journal-title":"Journal of Symbolic Logic"},{"key":"31_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science, 50 (1987) 1\u2013102","journal-title":"Theoretical Computer Science"},{"key":"31_CR3","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D. N. Yetter","year":"1990","unstructured":"Yetter, D. N.: Quantales and noncommutative linear logic. Journal of Symbolic Logic, 55 (1990) 41\u201364","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_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:41:18Z","timestamp":1619559678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}