%0 Journal Article %1 journals/mscs/BruniMM02 %A Bruni, Roberto %A Meseguer, José %A Montanari, Ugo %D 2002 %J Math. Struct. Comput. Sci. %K dblp %N 1 %P 53-90 %T Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. %U http://dblp.uni-trier.de/db/journals/mscs/mscs12.html#BruniMM02 %V 12

@article{journals/mscs/BruniMM02, added-at = {2023-09-20T00:00:00.000+0200}, author = {Bruni, Roberto and Meseguer, José and Montanari, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/29e2761992c68aa734134d2407bcc704c/dblp}, ee = {https://doi.org/10.1017/S0960129501003462}, interhash = {30d755165c06660fa8ea4eec38843a2c}, intrahash = {9e2761992c68aa734134d2407bcc704c}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {53-90}, timestamp = {2024-04-08T13:17:08.000+0200}, title = {Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs12.html#BruniMM02}, volume = 12, year = 2002 }