Last update: Sun Oct 15 02:56:11 MDT 2017
@Article{Anonymous:1998:LLP, author = "Anonymous", title = "{Linear Logic '96} (papers in summary form only received)", journal = j-THEOR-COMP-SCI, volume = "197", number = "1--2", pages = "??--??", day = "15", month = may, year = "1998", CODEN = "TCSCDI", ISSN = "0304-3975 (print), 1879-2294 (electronic)", ISSN-L = "0304-3975", bibdate = "Wed May 27 07:21:35 MDT 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs1995.bib", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", conflocation = "Tokyo, Japan; 28 March-2 April 1996", conftitle = "Linear Logic '96 (papers in summary form only received)", fjournal = "Theoretical Computer Science", journal-URL = "http://www.sciencedirect.com/science/journal/03043975/", keywords = "formal logic; Keio University; linear logic; Linear Logic 96", pubcountry = "Netherlands", }