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), 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)},
  year      = {2019},
}
Powered by bibtexbrowser