CARTOGRAPHER: a tool for string diagrammatic reasoning (bibtex)

by Paweł Sobociński, Paul Wilson and Fabio Zanasi

Reference:

Paweł Sobociński, Paul Wilson and Fabio Zanasi, CARTOGRAPHER: a tool for string diagrammatic reasoning, In 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, London, United Kingdom, June 3–6, 2019 (Markus Roggenbach, Ana Sokolova, eds.), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, vol. 139, pp. 20:1–20:7, 2019.

Bibtex Entry:

@InProceedings{Sobocinski2019,
  author    = {Pawe{\l} Soboci{\'{n}}ski and Paul Wilson and Fabio Zanasi},
  title     = {{CARTOGRAPHER}: a tool for string diagrammatic reasoning},
  booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2019, London, United Kingdom, June 3--6, 2019},
  editor    = {Markus Roggenbach and Ana Sokolova},
  series    = {LIPIcs},
  volume    = {139},
  pages     = {20:1--20:7},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019},
  doi       = {10.4230/LIPIcs.CALCO.2019.20},
  url       = {https://doi.org/10.4230/LIPIcs.CALCO.2019.20},
}