%0 Conference Paper %1 conf/calco/SobocinskiWZ19 %A Sobocinski, Pawel %A Wilson, Paul W. %A Zanasi, Fabio %B CALCO %D 2019 %E Roggenbach, Markus %E Sokolova, Ana %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 20:1-20:7 %T CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). %U http://dblp.uni-trier.de/db/conf/calco/calco2019.html#SobocinskiWZ19 %V 139 %@ 978-3-95977-120-7

@inproceedings{conf/calco/SobocinskiWZ19, added-at = {2022-01-25T00:00:00.000+0100}, author = {Sobocinski, Pawel and Wilson, Paul W. and Zanasi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/22cf1f13a05e0023889414e2e3bc2da6d/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2019}, editor = {Roggenbach, Markus and Sokolova, Ana}, ee = {https://doi.org/10.4230/LIPIcs.CALCO.2019.20}, interhash = {120beaddb800a1cdca3796625e6a1663}, intrahash = {2cf1f13a05e0023889414e2e3bc2da6d}, isbn = {978-3-95977-120-7}, keywords = {dblp}, pages = {20:1-20:7}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T04:27:17.000+0200}, title = {CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper).}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2019.html#SobocinskiWZ19}, volume = 139, year = 2019 }