%0 Conference Paper %1 journals/entcs/ChaudhuriLR17 %A Chaudhuri, Kaustuv %A Lima, Leonardo %A Reis, Giselle %B LSFA %D 2016 %E Nigam, Vivek %E Florido, Mário %I Elsevier %K dblp %P 57-73 %T Formalized Meta-Theory of Sequent Calculi for Substructural Logics. %U http://dblp.uni-trier.de/db/journals/entcs/entcs332.html#ChaudhuriLR17 %V 332

@inproceedings{journals/entcs/ChaudhuriLR17, added-at = {2023-05-01T00:00:00.000+0200}, author = {Chaudhuri, Kaustuv and Lima, Leonardo and Reis, Giselle}, biburl = {https://www.bibsonomy.org/bibtex/2be0d58a29247129c3172922aafe97d53/dblp}, booktitle = {LSFA}, crossref = {conf/lsfa/2016}, editor = {Nigam, Vivek and Florido, Mário}, ee = {https://www.wikidata.org/entity/Q113317596}, interhash = {8422b17fdc708b472e686da43c64c657}, intrahash = {be0d58a29247129c3172922aafe97d53}, keywords = {dblp}, pages = {57-73}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T07:27:46.000+0200}, title = {Formalized Meta-Theory of Sequent Calculi for Substructural Logics.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs332.html#ChaudhuriLR17}, volume = 332, year = 2016 }