%0 Journal Article %1 journals/mscs/GalmicheMJP05 %A Galmiche, Didier %A Méry, Daniel %A Pym, David J. %D 2005 %J Math. Struct. Comput. Sci. %K dblp %N 6 %P 1033-1088 %T The semantics of BI and resource tableaux. %U http://dblp.uni-trier.de/db/journals/mscs/mscs15.html#GalmicheMJP05 %V 15

@article{journals/mscs/GalmicheMJP05, added-at = {2020-04-01T00:00:00.000+0200}, author = {Galmiche, Didier and Méry, Daniel and Pym, David J.}, biburl = {https://www.bibsonomy.org/bibtex/2027a2a2e35a34562cbdcecde74399829/dblp}, ee = {https://doi.org/10.1017/S0960129505004858}, interhash = {dab4459ca61825c61c00385772ca48e7}, intrahash = {027a2a2e35a34562cbdcecde74399829}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 6, pages = {1033-1088}, timestamp = {2020-04-02T11:40:22.000+0200}, title = {The semantics of BI and resource tableaux.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs15.html#GalmicheMJP05}, volume = 15, year = 2005 }