%0 Conference Paper %1 conf/lfcs/EadesP16 %A III, Harley Eades %A de Paiva, Valeria %B LFCS %D 2016 %E Artëmov, Sergei N. %E Nerode, Anil %I Springer %K dblp %P 90-105 %T Multiple Conclusion Linear Logic: Cut Elimination and More. %U http://dblp.uni-trier.de/db/conf/lfcs/lfcs2016.html#EadesP16 %V 9537 %@ 978-3-319-27682-3

@inproceedings{conf/lfcs/EadesP16, added-at = {2018-11-14T00:00:00.000+0100}, author = {III, Harley Eades and de Paiva, Valeria}, biburl = {https://www.bibsonomy.org/bibtex/2b3f2c82b9dfd5119ba5d24626f61a747/dblp}, booktitle = {LFCS}, crossref = {conf/lfcs/2016}, editor = {Artëmov, Sergei N. and Nerode, Anil}, ee = {https://www.wikidata.org/entity/Q56994440}, interhash = {ccf54f89b5cfc779e54da550786165ad}, intrahash = {b3f2c82b9dfd5119ba5d24626f61a747}, isbn = {978-3-319-27682-3}, keywords = {dblp}, pages = {90-105}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:47:43.000+0200}, title = {Multiple Conclusion Linear Logic: Cut Elimination and More.}, url = {http://dblp.uni-trier.de/db/conf/lfcs/lfcs2016.html#EadesP16}, volume = 9537, year = 2016 }