{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:04:52Z","timestamp":1726412692393},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055789X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023757","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:11:10Z","timestamp":1132377070000},"page":"53-67","source":"Crossref","is-referenced-by-count":0,"title":["Provability in TBLL: A decision procedure"],"prefix":"10.1007","author":[{"given":"Jawahar","family":"Chirimar","sequence":"first","affiliation":[]},{"given":"James","family":"Lipton","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Abramsky, S., [1991] Computational Interpretations of linear logic. TCS, 1991."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Danos, V., and Reignier, L., [1989] The Structure of Multiplicatives, Arch. Math. Logic 28.","DOI":"10.1007\/BF01622878"},{"key":"4_CR3","unstructured":"Gallier, J. [1991] Constructive Logics. Part II: Linear Logic and Proof Nets PRL (Paris Research Laboratory) Research Report 9, Paris."},{"key":"4_CR4","volume-title":"Computers and intractability: a guide to the theory of NP-completeness","author":"M. R. Garey","year":"1979","unstructured":"Garey, Michael R. and Johnson, Davis S.[1979] Computers and intractability: a guide to the theory of NP-completeness San Francisco: W. H. Freeman."},{"key":"4_CR5","volume-title":"Cambridge Tracts in Theoretical Computer Science 7","author":"Girard","year":"1989","unstructured":"Girard, Lafont, Taylor [1989] Proofs and Types, Cambridge University Press (Cambridge Tracts in Theoretical Computer Science 7), Cambridge."},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard. Towards a geometry of interaction. In Categories in Computer Science and Logic, volume 92 of Contemporary Mathematics, pages 69\u2013108, held June 1987, Boulder, Colorado, 1989.","DOI":"10.1090\/conm\/092\/1003197"},{"key":"4_CR8","unstructured":"Girard, J-Y, [1991] \u201cQuantifiers in Linear Logic H\u201d, Technical Report 19, Equipe de Logique Mathematique, Univ. Paris 7."},{"key":"4_CR9","unstructured":"Horowitz, E. and Sahni S. [1978] Fundamentals of Computer Algorithms, Computer Science Press."},{"key":"4_CR10","unstructured":"Chirimar, J. and Lipton, J. [1992] Kripke Semantics, Tableaux and Decision Procedures for some fragments of Linear Logic, Technical Report, University of Pennsylvania, to appear."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Lincoln, P. Mitchell, J., Scedrov, A. and Shankar, N. [1990] \u201cDecision Problems for Propositional Linear Logic\u201d, proc. 31st IEEE symp. on Foundations of Computer Science.","DOI":"10.1109\/FSCS.1990.89588"},{"key":"4_CR12","unstructured":"Troelstra, A. S. [1991], Lectures on Linear Logic and Lectures on Linear Logic: errata and Supplement, lecture notes, Institute for Language, logic and information, Department of mathematics and Computer Science, University of Amsterdam. To appear as a book in the CSLI-Stanford series."},{"key":"4_CR13","volume-title":"Studies in Logic and the Foundations of Mathematics, Vol. 121","author":"A. S. Troelstra","year":"1988","unstructured":"[Troelstra-van Dalen]Troelstra, A. S. and D. van Dalen [1988], Constructivism in Mathematics: An Introduction, Vol. I, Studies in Logic and the Foundations of Mathematics, Vol. 121, North-Holland, Amsterdam."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023757.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:50:27Z","timestamp":1607532627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023757"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055789X"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0023757","relation":{},"subject":[]}}