Rewriting modulo symmetric monoidal structure (bibtex)
by F. Bonchi, F. Gadducci, A. Kissinger, P. Sobociński and F. Zanasi
Reference:
F. Bonchi, F. Gadducci, A. Kissinger, P. Sobociński and F. Zanasi, "Rewriting modulo symmetric monoidal structure", In Thirty-first annual ACM/IEEE symposium on Logic and Computer Science (LICSĀ `16), 2016.
Bibtex Entry:
@INPROCEEDINGS{Bonchi2016,
  author = {F. Bonchi and F. Gadducci and A. Kissinger and P. Soboci\'{n}ski and F. Zanasi},
  title = {Rewriting modulo symmetric monoidal structure},
  booktitle = {Thirty-first annual ACM/IEEE symposium on Logic and Computer Science
  (LICS~`16)},
  year = {2016},
  url = {https://www.southampton.ac.uk/~ps1a06/papers/rewriting.pdf}
}
Powered by bibtexbrowser