Linear Proofs and Linear Logic. Fronhöfer, B. In Pearce, D. & Wagner, G., editors, JELIA, volume 633, of Lecture Notes in Computer Science, pages 106-125, 1992. Springer. Link Paper bibtex @inproceedings{conf/jelia/Fronhofer92,
added-at = {2017-05-20T00:00:00.000+0200},
author = {Fronhöfer, Bertram},
biburl = {https://www.bibsonomy.org/bibtex/29d51cb6d683b69d4ff0216cbee503c23/dblp},
booktitle = {JELIA},
crossref = {conf/jelia/1992},
editor = {Pearce, David and Wagner, Gerd},
ee = {https://doi.org/10.1007/BFb0023424},
interhash = {c6cf929c26ded97147ab24682f04821e},
intrahash = {9d51cb6d683b69d4ff0216cbee503c23},
isbn = {3-540-55887-X},
keywords = {dblp},
pages = {106-125},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-11-07T11:41:11.000+0100},
title = {Linear Proofs and Linear Logic.},
url = {http://dblp.uni-trier.de/db/conf/jelia/jelia92.html#Fronhofer92},
volume = 633,
year = 1992
}
Downloads: 0
{"_id":"hSdLNMTeb22uYfuuG","bibbaseid":"fronhfer-linearproofsandlinearlogic-1992","authorIDs":[],"author_short":["Fronhöfer, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-20T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Fronhöfer"],"firstnames":["Bertram"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/29d51cb6d683b69d4ff0216cbee503c23/dblp","booktitle":"JELIA","crossref":"conf/jelia/1992","editor":[{"propositions":[],"lastnames":["Pearce"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Wagner"],"firstnames":["Gerd"],"suffixes":[]}],"ee":"https://doi.org/10.1007/BFb0023424","interhash":"c6cf929c26ded97147ab24682f04821e","intrahash":"9d51cb6d683b69d4ff0216cbee503c23","isbn":"3-540-55887-X","keywords":"dblp","pages":"106-125","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-11-07T11:41:11.000+0100","title":"Linear Proofs and Linear Logic.","url":"http://dblp.uni-trier.de/db/conf/jelia/jelia92.html#Fronhofer92","volume":"633","year":"1992","bibtex":"@inproceedings{conf/jelia/Fronhofer92,\n added-at = {2017-05-20T00:00:00.000+0200},\n author = {Fronhöfer, Bertram},\n biburl = {https://www.bibsonomy.org/bibtex/29d51cb6d683b69d4ff0216cbee503c23/dblp},\n booktitle = {JELIA},\n crossref = {conf/jelia/1992},\n editor = {Pearce, David and Wagner, Gerd},\n ee = {https://doi.org/10.1007/BFb0023424},\n interhash = {c6cf929c26ded97147ab24682f04821e},\n intrahash = {9d51cb6d683b69d4ff0216cbee503c23},\n isbn = {3-540-55887-X},\n keywords = {dblp},\n pages = {106-125},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-11-07T11:41:11.000+0100},\n title = {Linear Proofs and Linear Logic.},\n url = {http://dblp.uni-trier.de/db/conf/jelia/jelia92.html#Fronhofer92},\n volume = 633,\n year = 1992\n}\n\n","author_short":["Fronhöfer, B."],"editor_short":["Pearce, D.","Wagner, G."],"key":"conf/jelia/Fronhofer92","id":"conf/jelia/Fronhofer92","bibbaseid":"fronhfer-linearproofsandlinearlogic-1992","role":"author","urls":{"Link":"https://doi.org/10.1007/BFb0023424","Paper":"http://dblp.uni-trier.de/db/conf/jelia/jelia92.html#Fronhofer92"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:53.170Z","downloads":0,"keywords":["dblp"],"search_terms":["linear","proofs","linear","logic","fronhöfer"],"title":"Linear Proofs and Linear Logic.","year":1992,"dataSources":["fYGRSD8HXJYwZPaY7"]}