%0 Journal Article %1 journals/logcom/CollinsonMP14 %A Collinson, Matthew %A McDonald, Kevin %A Pym, David J. %D 2014 %J J. Log. Comput. %K %N 4 %P 953-988 %T A substructural logic for layered graphs. %U http://dblp.uni-trier.de/db/journals/logcom/logcom24.html#CollinsonMP14 %V 24

@article{journals/logcom/CollinsonMP14, added-at = {2023-12-13T02:26:56.000+0100}, author = {Collinson, Matthew and McDonald, Kevin and Pym, David J.}, biburl = {https://www.bibsonomy.org/bibtex/28e1172f0a519bc361bf44bb544561b91/admin}, ee = {http://dx.doi.org/10.1093/logcom/exu002}, interhash = {7f5798854a712bf6178d2c52825950f1}, intrahash = {8e1172f0a519bc361bf44bb544561b91}, journal = {J. Log. Comput.}, keywords = {}, number = 4, pages = {953-988}, timestamp = {2023-12-13T02:26:56.000+0100}, title = {A substructural logic for layered graphs.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom24.html#CollinsonMP14}, volume = 24, year = 2014 }